Modular Development and Certification of Dependable Mixed-Criticality Systems.

Asier Larrucea, Imanol Martinez, Carlos Fernando Nicols, Jon Prez, Roman Obermaisser

Browse the full DSD paper archive.