Le moteur de recherche
des thèses françaises
Stefan Haar
IdRefMots clés
FR |
EN
Petri, Réseaux de
Réseaux de Petri
Concurrence
Théorie des automates mathématiques
Vérification
Logiciels -- Vérification
Réseaux de Petri temporels
Réseaux d'automates temporisés
Systèmes à paramètres répartis
Dépliages
Traitement réparti
Markov, Processus de
Diagnostic
Biologie des systèmes
Biologie systémique
Systèmes de Contraintes
Mobilité
Logique Épistémique
Mensonges
Théorie de la Concurrence