PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Margaria, Tiziana"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Plug and Play with FMICS-jETI: Beyond Scripting and Coding.

, , , und . ERCIM News, (2008)

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

Heterogeneous Analysis and Verification for Distributed Systems., , und . Software - Concepts and Tools, 17 (1): 13-25 (1996)Game-Based Model Checking for Reliable Autonomy in Space., , , und . JACIC, 8 (4): 100-114 (2011)High Service Availability in MaTRICS for the OCS., und . ISoLA, Volume 17 von Communications in Computer and Information Science, Seite 572-586. Springer, (2008)Enhanced Requirements-Based Programming for Embedded Systems Design., , , , und . MBEES, Volume 2006-1 von Informatik-Bericht, Seite 43-52. TU Braunschweig, Institut für Software Systems Engineering, (2006)Incremental Requirement Specification for Evolving Systems., , , , und . FIW, Seite 145-162. IOS Press, (2000)Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service., und . WWV, DSIC-II/03/05, Seite 9-25. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)Plug and Play with FMICS-jETI: Beyond Scripting and Coding., , , und . ERCIM News, (2008)Bio-jETI: a framework for semantics-based service composition., , und . BMC Bioinformatics, 10 (S-10): 8 (2009)Service Is in the Eyes of the Beholder.. IEEE Computer, 40 (11): 33-37 (2007)Property-driven benchmark generation: synthesizing programs of realistic structure., , , , und . STTT, 16 (5): 465-479 (2014)