Dominique Méry
IdRefMots clés
FR |
EN
Infections nosocomiales
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
Méthodes formelles (informatique)
Électrum
Infection nosocomiale
Antibiotherapie
Cout medicamenteux
Reanimation
Antibiothérapie
Dispositif medical
Materiovigilance
Tracabilite