Model-Based Codesign of Critical Embedded Systems.

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

Browse the full MODELS paper archive.