Le moteur de recherche
des thèses françaises
Ciprian Teodorov
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Vérification de modèles (informatique)
Génie logiciel
Ingénierie dirigée par les modèles
Modélisation
Nanotechnologie
Synthèse physique
CAO électronique
Modélisation objet
Circuits intégrés -- Conception assistée par ordinateur
Produits logiciels
Ligne de produits
Langage de représentation de connaissances
Architecture -- Informatique
Interprétation
Vérification formelle
Systèmes embarqués
Logiciels -- Développement
UML (informatique)
Interpréteurs (logiciels)