Verification and Performance Evaluation of AADL Models (Tool Demonstration)

Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco; Noll, Thomas; Nguyen, Viet Yen; Katoen, Joost-Pieter

doi:hsbimport900003347

Verification and Performance Evaluation of AADL Models (Tool Demonstration)

Bozzano, Marco (Author) ; Cimatti, Alessandro (Author) ; Katoen, Joost-Pieter (Author) ; Nguyen, Viet Yen (Author) ; Noll, Thomas (Author)^RWTH* ; Roveri, Marco (Author)

In
ESEC-FSE’09 : Proceedings of the Joint 12th European Software Engineering Conference and 17th ACM SIGSOFT Symposium on the Foundations of Software Engineering ; August 24–28, 2009, Amsterdam, The Netherlands / Spons. by: ACM SIGSOFT, Seiten/Artikel-Nr: 285-286

2009

Konferenz/Event:Joint 12. European Software Engineering Conference and 17. ACM SIGSOFT Symposium on the Foundations of Software Engineering , Amsterdam , Netherlands , ESEC-FSE’09 , 2009-08-24 - 2009-08-28

ImpressumNew York, NY : ACM

Umfang285-286

ISBN978-1-60558-001-2