The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems.

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

Browse the full SAFECOMP paper archive.