Le moteur de recherche
des thèses françaises
Ciprian Teodorov
IdRefMots clés
FR |
EN
Modélisation
Nanotechnologie
Synthèse physique
CAO électronique
Modélisation objet
Circuits intégrés -- Conception assistée par ordinateur
Interprétation
Vérification formelle
Ingénierie dirigée par les modèles
Systèmes embarqués
Génie logiciel
Logiciels -- Développement
UML (informatique)
Systèmes embarqués (informatique)
Cyber-sécurité
Fédération de modèles
Analyse formelle
Model-checking
Advanced Persistent Threat
Langage Pimca