( en | de | ru )

 

Disambiguierung von "Seceleanu, Cristina Cerschi"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ViTAL: A Verification Tool for EAST-ADL Models Using UPPAAL PORT.

, , , und . ICECCS, Seite 328-337. IEEE Computer Society, (2012)

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.

Cristina Häring

Cristina Sattarhoff

Cristina Cozzini

Cristina Voss

Cristina Niculescu

 

Weitere Publikationen von Autoren mit dem selben Namen

Modeling and Reasoning about Service Behaviors and Their Compositions., , und . ISoLA (2), Volume 6416 von Lecture Notes in Computer Science, Seite 82-96. Springer, (2010)Message from the CORCS 2008 Workshop Organizers., , und . COMPSAC, Seite 1295. IEEE Computer Society, (2008)REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems., , , und . ASE, Seite 361-362. ACM, (2010)Symbolic Simulation of Hybrid Systems., , und . APSEC, Seite 147-. IEEE Computer Society, (2002)Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions., , und . ISoLA (2), Volume 8803 von Lecture Notes in Computer Science, Seite 74-87. Springer, (2014)Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability., , und . CIMCA/IAWTIC/ISE, Seite 302-308. IEEE Computer Society, (2008)Contracts and Games in Controller Synthesis for Discrete Systems., und . ECBS, Seite 307-315. IEEE Computer Society, (2004)Integrating Pattern-Based Formal Requirements Specification in an Industrial Tool-Chain., , , , und . COMPSAC Workshops, Seite 167-173. IEEE Computer Society, (2016)978-1-4673-8845-0.ABV - A Verifier for the Architecture Analysis and Design Language (AADL)., , , und . ICECCS, Seite 355-360. IEEE Computer Society, (2011)Designing Controllers for Reachability.. COMPSAC (1), Seite 196-203. IEEE Computer Society, (2005)