[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

C. Artho, M. Seidl, A. Biere:
"Model-Based Testing for Verification Back-Ends";
Vortrag: 7th International Conference on Tests & Proofs, Budapest; 18.06.2013 - 19.06.2013; in: "Proceedings of the 7th International Conference on Tests and Proofs (TAP)", (2013), ISBN: 978-3-642-38915-3; S. 39 - 55.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-642-38916-0

Elektronische Version der Publikation:
http://dx.doi.org/10.1007/978-3-642-38916-0_3



Zugeordnete Projekte:
Projektleitung Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.