( en | de | ru )

 

Disambiguierung von "Dragomir, Iulia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Introduction to ACES-MB 2015.

, , , , und . ACES-MB&WUCOR@MoDELS, Volume 1508 von CEUR Workshop Proceedings, Seite 1-2. CEUR-WS.org, (2015)

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.

Iulia Balteanu

Pasquale Iuliano

Dragomir Tadic

Dragomir Nešić

Iulia Georgescu

 

Weitere Publikationen von Autoren mit dem selben Namen

UML/SysML semantic tunings., , , und . Innov. Syst. Softw. Eng., 7 (4): 257-264 (2011)Model-checking of space systems designed with TASTE/SDL., , , , , , , und . MoDELS (Companion), Seite 237-246. ACM, (2022)The Refinement Calculus of Reactive Systems Toolset., , und . Int. J. Softw. Tools Technol. Transf., 22 (6): 689-708 (2020)OMEGA2: A New Version of the Profile and the Tools., und . ICECCS, Seite 373-378. IEEE Computer Society, (2010)Integrating verifiable Assume/Guarantee contracts in UML/SysML., , und . ACES-MB@MoDELS, Volume 1084 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)Safety Contracts for Timed Reactive Components in SysML., , und . SOFSEM, Volume 8327 von Lecture Notes in Computer Science, Seite 211-222. Springer, (2014)Rigorous Design of FDIR Systems with BIP., und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2019)Introduction to ACES-MB 2015., , , , und . ACES-MB&WUCOR@MoDELS, Volume 1508 von CEUR Workshop Proceedings, Seite 1-2. CEUR-WS.org, (2015)Model-Based Design of Resilient Systems Using Quantitative Risk Assessment., , , und . VECoS, Volume 12519 von Lecture Notes in Computer Science, Seite 149-164. Springer, (2020)Mechanically Proving Determinacy of Hierarchical Block Diagram Translations., , und . VMCAI, Volume 11388 von Lecture Notes in Computer Science, Seite 577-600. Springer, (2019)