A model-based, single-source approach to design-space exploration and synthesis of mixed-criticality systems.

Fernando Herrera, Pablo Peil, Eugenio Villar

Browse the full SCOPES paper archive.