PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Riccobene, Elvinia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Unified Syntax for Abstract State Machines.

, , , , , , , , und . ABZ, Volume 9675 von Lecture Notes in Computer Science, Seite 231-236. Springer, (2016)

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 Riccobene, Elvinia
Eine Person hinzufügen mit dem Namen Riccobene, Elvinia
 

Weitere Publikationen von Autoren mit dem selben Namen

Mapping UML into Abstract State Machines: A Framework to Simulate UML Models., , und . Stud. Inform. Univ., 3 (3): 367-398 (2004)ViBBA: A Toolbox for Automatic Model Driven Animation., und . SimVis, Seite 101-114. SCS Publishing House e.V., (2005)Capturing Requirements by Abstract State Machines: The Light Control Case Study., , und . J. UCS, 6 (7): 597-620 (2000)ASM-Based Testing: Coverage Criteria and Automatic Test Sequence., und . J. UCS, 7 (11): 1050-1067 (2001)Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions., , und . ASE, Seite 388-391. IEEE Computer Society, (2011)A model-driven validation & verification environment for embedded systems., , und . SIES, Seite 241-244. IEEE, (2008)A Realistic Environment for Crypto-Protocol Analyses by ASMs., und . Workshop on Abstract State Machines, Seite 127-138. (1998)Rehabilitating equivalent mutants as static anomaly detectors in software artifacts., , , und . ICST Workshops, Seite 1-6. IEEE Computer Society, (2015)A Formal Model for the Parallel Semantics of P3L., , und . SAC (2), Seite 804-812. ACM, (2000)1-58113-240-9.Modelling SystemC Process Behavior by the UML Method State Machines., und . RISE, Volume 3475 von Lecture Notes in Computer Science, Seite 112-121. Springer, (2004)