( en | de | ru )

 

Disambiguierung von "Ober, Iulian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integrating verifiable Assume/Guarantee contracts in UML/SysML.

, , und . ACES-MB@MoDELS, Volume 1084 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Iulian Teliban

Iulian Balan

Iulian Radu

Iulian Voicu

Iulian Ilieș

 

Weitere Publikationen von Autoren mit dem selben Namen

SysML Models Verification and Validation in an Industrial Context: Challenges and Experimentation., , , und . ECMFA, Volume 10890 von Lecture Notes in Computer Science, Seite 132-146. Springer, (2018)Seeing Errors: Model Driven Simulation Trace Visualization., , und . MoDELS, Volume 7590 von Lecture Notes in Computer Science, Seite 480-496. Springer, (2012)Model-checking of space systems designed with TASTE/SDL., , , , , , , und . MoDELS (Companion), Seite 237-246. ACM, (2022)Certification of embedded systems based on Machine Learning: A survey., , , und . CoRR, (2021)UML/SysML semantic tunings., , , und . Innov. Syst. Softw. Eng., 7 (4): 257-264 (2011)On the Concurrent Object Model of UML., und . Euro-Par, Volume 1685 von Lecture Notes in Computer Science, Seite 1377-1384. Springer, (1999)Unambiguous UML Composite Structures: The OMEGA2 Experience., und . SOFSEM, Volume 6543 von Lecture Notes in Computer Science, Seite 418-430. Springer, (2011)MODELS Research Projects Symposium.. MoDELS (Workshops), Volume 5421 von Lecture Notes in Computer Science, Seite 400-401. Springer, (2008)A real-time profile for UML, , und . International Journal on Software Tools for Technology Transfer (STTT), (2007)Safety Contracts for Timed Reactive Components in SysML., , und . SOFSEM, Volume 8327 von Lecture Notes in Computer Science, Seite 211-222. Springer, (2014)