Time-predictable and composable architectures for dependable embedded systems.

Saddek Bensalem, Kees Goossens, Christoph M. Kirsch, Roman Obermaisser, Edward A. Lee, Joseph Sifakis

Browse the full EMSOFT paper archive.