Le moteur de recherche
des thèses françaises
Alain Finkel
IdRefMots clés
FR |
EN
Petri, Réseaux de
Vérification formelle
Logiciels -- Vérification
Systèmes informatiques
Systèmes à compteurs
Réseaux de Petri
Vérification de modèles (informatique)
Systèmes distribués
Automates communicants
Traitement réparti
Décidabilité (logique mathématique)
Réseau Petri
Petri net
Vérification
Algorithmique
Verification
Algorithmics
Complexité
Systèmes d'addition de vecteurs
Systèmes de transitions bien structurés