Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Margaria, Tiziana
add a person with the name Margaria, Tiziana
 

Other publications of authors with the same name

Heterogeneous Analysis and Verification for Distributed Systems., , and . Software - Concepts and Tools, 17 (1): 13-25 (1996)Game-Based Model Checking for Reliable Autonomy in Space., , , and . JACIC, 8 (4): 100-114 (2011)Enhanced Requirements-Based Programming for Embedded Systems Design., , , , and . MBEES, volume 2006-1 of Informatik-Bericht, page 43-52. TU Braunschweig, Institut für Software Systems Engineering, (2006)Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service., and . WWV, DSIC-II/03/05, page 9-25. Departamento de Sistemas Informaticos y Computacion, Universidad Politecnica de Valencia, (2005)Incremental Requirement Specification for Evolving Systems., , , , and . FIW, page 145-162. IOS Press, (2000)High Service Availability in MaTRICS for the OCS., and . ISoLA, volume 17 of Communications in Computer and Information Science, page 572-586. Springer, (2008)Exploring the Potential of Global Types for Adding a Choreography Perspective to the jABC Framework., , and . MODELSWARD, page 368-376. SciTePress, (2016)Plug and Play with FMICS-jETI: Beyond Scripting and Coding., , , and . ERCIM News, (2008)Bio-jETI: a framework for semantics-based service composition., , and . BMC Bioinformatics, 10 (S-10): 8 (2009)Service Is in the Eyes of the Beholder.. IEEE Computer, 40 (11): 33-37 (2007)