( en | de | ru )

 

Disambiguierung von "Dragomir, Iulia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Rigorous Design of FDIR Systems with BIP.

, und . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2019)

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

Model-checking of space systems designed with TASTE/SDL., , , , , , , und . MoDELS (Companion), Seite 237-246. ACM, (2022)UML/SysML semantic tunings., , , und . Innov. Syst. Softw. Eng., 7 (4): 257-264 (2011)The Refinement Calculus of Reactive Systems Toolset., , und . Int. J. Softw. Tools Technol. Transf., 22 (6): 689-708 (2020)Integrating verifiable Assume/Guarantee contracts in UML/SysML., , und . ACES-MB@MoDELS, Volume 1084 von CEUR Workshop Proceedings, CEUR-WS.org, (2013)OMEGA2: A New Version of the Profile and the Tools., und . ICECCS, Seite 373-378. IEEE Computer Society, (2010)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)Unambiguous UML Composite Structures: The OMEGA2 Experience., und . SOFSEM, Volume 6543 von Lecture Notes in Computer Science, Seite 418-430. Springer, (2011)