Rémi Morin
IdRefMots clés
FR |
EN
Petri, Réseaux de
Automates
Systèmes distribués
Automates communicants
Traitement réparti
Décidabilité (logique mathématique)
Systèmes informatiques -- Mesures de sûreté
Réseaux de Petri
Synthèse de contrôleur
Hiérarchie
Systèmes EDO
Stabilisation
Ordres partiels
Réduction SAT
Automates temporisés
Systèmes non linéaires
Systèmes échantillonnés
Concurrence
Test de conformité
Logiciels -- Vérification