PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Morzenti, Angelo"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Logic-Based Approach for the Verification of UML Timed Models.

, , , , und . ACM Trans. Softw. Eng. Methodol., 26 (2): 7:1-7:47 (2017)

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.

Keine Personen gefunden für den Autorennamen Morzenti, Angelo
Eine Person hinzufügen mit dem Namen Morzenti, Angelo
 

Weitere Publikationen von Autoren mit dem selben Namen

Generation of Execution Sequences for Modular Time Critical Systems., , und . IEEE Trans. Software Eng., 26 (2): 128-149 (2000)TRIO: A logic language for executable specifications of real-time systems., , und . Journal of Systems and Software, 12 (2): 107-123 (1990)Dealing with Zero-Time Transitions in Axiom Systems., , und . Inf. Comput., 150 (2): 119-131 (1999)Object-Oriented Logical Specification of Time-Critical Systems., und . ACM Trans. Softw. Eng. Methodol., 3 (1): 56-98 (1994)Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing., , , , , , , , , und 1 andere Autor(en). IEEE Intell. Transport. Syst. Mag., 6 (3): 96-108 (2014)Formal Languages and Compilation, Second Edition., , und . Texts in Computer Science Springer, (2013)A Metric Encoding for Bounded Model Checking (extended version), , und . CoRR, (2009)Model-Checking TRIO Specifications in SPIN., , , und . FME, Volume 2805 von Lecture Notes in Computer Science, Seite 542-561. Springer, (2003)Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis., , , und . FMICS, Volume 7437 von Lecture Notes in Computer Science, Seite 162-176. Springer, (2012)A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems., , und . Electron. Notes Theor. Comput. Sci., 82 (6): 121-132 (2003)