Modular Development and Certification of Dependable Mixed-Criticality Systems

Asier Larrucea, Imanol Martinez, Carlos Fernando Nicolas, Jon Perer, Roman Obermaisser. Modular Development and Certification of Dependable Mixed-Criticality Systems. In Hana Kubátová, Martin Novotný, Amund Skavhaug, editors, Euromicro Conference on Digital System Design, DSD 2017, Vienna, Austria, August 30 - Sept. 1, 2017. pages 419-426, IEEE, 2017. [doi]

Abstract

Abstract is missing.