Codesign of dependable systems: A component-based modeling language.

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

Browse the full MEMOCODE paper archive.