Verification and performance evaluation of aadl models

Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Verification and performance evaluation of aadl models. In Hans van Vliet, Valérie Issarny, editors, Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009, Amsterdam, The Netherlands, August 24-28, 2009. pages 285-286, ACM, 2009. [doi]

Abstract

Abstract is missing.