François B. Vernadat
IdRefMots clés
FR |
EN
Petri, Réseaux de
Vérification formelle
Génie industriel
Systèmes temps réel
Temps réel (informatique)
Logiciels -- Vérification
Systèmes embarqués (informatique)
Modélisation
Ingénierie des systèmes
Model checking
Réseau de Petri temporel
Angage spécifique à un domaine
Méthodes formelles (informatique)
Réingénierie organisationnelle
Sciences appliquees
Electrotechnique, electroenergetique
Logiciel
Oriente objet
Software
Object oriented