Le moteur de recherche
des thèses françaises
Pascal Fradet
IdRefMots clés
FR |
EN
Tolérance aux fautes
Circuits
Transformations automatiques
Méthodes formelles
Preuve
Méthodes formelles (informatique)
Tolérance aux fautes (informatique)
Circuits intégrés numériques
Sciences appliquees
Informatique, automatique theorique, systemes
These
Implementation
Langage fonctionnel
Langage programmation
Traitement langage
Compilation
Transformation programme
Thesis
Functional language
Programming language