Le moteur de recherche
des thèses françaises
François B. Vernadat
IdRefMots clés
FR |
EN
Petri, Réseaux de
Vérification formelle
Génie industriel
Systèmes embarqués (informatique)
Systèmes temps réel
Logiciels -- Vérification
Temps réel (informatique)
Ingénierie des systèmes
Modélisation
Réseau de petri temporisé
Synthèse de pipeline
Pliage de circuit
Ordinateurs
Véhicules électriques
Circuits à transfert de charge (électronique)
Sciences appliquees
Electrotechnique, electroenergetique
Logiciel
Oriente objet
Software