Alain Finkel
IdRefMots clés
FR |
EN
Petri, Réseaux de
Vérification formelle
Logiciels -- Vérification
Systèmes à compteurs
Vérification de modèles (informatique)
Systèmes informatiques
Réseaux de Petri
Algorithmique
Algorithmics
Files fifo
Réseaux à files linéaires
Réseaux à files à choix libre
Files d'attente, Théorie des
Systèmes distribués
Automates
Verification
Automates communicants
Traitement réparti
Réseau Petri
Petri net