Le moteur de recherche
des thèses françaises
Rémi Morin
IdRefMots clés
FR |
EN
Petri, Réseaux de
Automates
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
Systèmes distribués
Automates communicants
Traitement réparti
Décidabilité (logique mathématique)
Systèmes informatiques -- Mesures de sûreté
Concurrence
Test de conformité
Logiciels -- Vérification