![](LOGOS/logo-inria.gif)
![](LOGOS/logo-cril.gif)
Analysis and VERification for the Reliability Of Embedded Systems1
Vérification de propriétés quantitatives et fonctionnelles
- 1
- Averroes : philosophe arabe (1126-1198), médecin du Calife de Cordoue,
auteur du livre Incoherence de l'incoherence.
Ce document a été traduit de LATEX par
HEVEA.