Model-Driven Performance Evaluation and Formal Verification for Multi-level Embedded System Design.

Daniela Genius, Letitia W. Li, Ludovic Apvrille

Browse the full MODELSWARD paper archive.