Dominique Méry
IdRefMots clés
FR |
EN
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
Méthodes formelles (informatique)
Électrum
Informatique
Infections nosocomiales
Hopital
Infection
Epidemiologie
Épidémiologie
Enterobacterie
Toxiinfection alimentaire
Aliment
Analyse microbiologique