Analysis and VERification for the Reliability Of Embedded Systems
1

Vérification de propriétés quantitatives et fonctionnelles





This document was translated from LATEX by HEVEA and HACHA.