David Chemouil
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
SysML/KAOS
B System
Modélisation du domaine
Méthodes formelles
Ontologies
Ontologies (informatique)
Logique du premier ordre (FO)
Logique temporelle lineaire
Méthodes Formelles
Spécification et Vérification Formelle
Model-Checking
Réseau peer-To-Peer
Protocole de recherche distribuée Chord
Electrum
Électrum
Model checking
Ltl
Fo
Propriété du modèle fini