Below are the lists of papers, reports and talks from the COMPASS project ordered by year. Please click on the icon to download the respective file.
|Maximilian R. Odenbrett, Viet Yen Nguyen, Thomas Noll. Slicing AADL Specifications for Model Checking. Proc. of the 2nd NASA Formal Methods Symp. (NFM 2010), Volume of NASA Conference Proceedings, pages 217–221, , 2010.|