Le moteur de recherche
des thèses françaises
Stefan Haar
IdRefMots clés
FR |
EN
Réseaux de Petri
Concurrence
Théorie des automates mathématiques
Vérification
Biologie systémique
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
Processus de Markov
Diagnostic
Méthodes formelles (informatique)
Biologie des systèmes
Systèmes de Contraintes
Mobilité
Logique Épistémique
Mensonges
Théorie de la Concurrence