François Vernadat
IdRefMots clés
FR |
EN
Vérification de modèles (informatique)
Diagnostic
Model-Checking
Système d'événement discret
Robotique
Systèmes échantillonnés
Réseaux de Petri
Petri, Réseaux de
Sciences appliquees
Electronique
Informatique repartie
Protocoles de communication
Verification
Logique temporelle
Equivalence observationnelle
Connaissance mutuelle
Informatique, automatique theorique, systemes
Protocoles transmission
Traitement réparti
Protocoles de réseaux d'ordinateurs