PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Margaria, Tiziana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Foundations of Semantics and Model Checking in a Software Engineering Course.

, , und . FMSEE&T@FM, Volume 1385 von CEUR Workshop Proceedings, Seite 19-26. 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.

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

Weitere Publikationen von Autoren mit dem selben Namen

Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework., , und . MODELSWARD, Seite 368-376. SciTePress, (2016)Supporting Process Development in Bio-jETI by Model Checking and Synthesis., , und . SWAT4LS, Volume 435 von CEUR Workshop Proceedings, CEUR-WS.org, (2008)Domain-specific design of patient classification in cancer-related cachexia research., , und . FormaliSE@ICSE, Seite 60-63. ACM, (2018)Predicate Abstraction and Such..., und . FMICS, Volume 11119 von Lecture Notes in Computer Science, Seite 181-188. Springer, (2018)Property-driven benchmark generation: synthesizing programs of realistic structure., , , , und . STTT, 16 (5): 465-479 (2014)ViDoC - Visual Design of Optimizing Compilers., , und . Program Analysis and Compilation, Volume 4444 von Lecture Notes in Computer Science, Seite 145-159. Springer, (2006)Models, Mindsets, Meta: The What, the How, and the Why Not?, , und . Models, Mindsets, Meta, Volume 11200 von Lecture Notes in Computer Science, Seite 3-13. Springer, (2018)From Computational Thinking to Constructive Design with Simple Models.. ISoLA (1), Volume 11244 von Lecture Notes in Computer Science, Seite 261-278. Springer, (2018)Simple Modeling of Executable Role-Based Workflows: An Application in the Healthcare Domain., , und . ISoLA (2), Volume 7610 von Lecture Notes in Computer Science, Seite 70-72. Springer, (2012)Continuous Real Time Models in Practice., und . RTS, Seite 8-13. IEEE, (1993)