Analysis and VERification for the Reliability Of Embedded Systems
1

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.