Marc Frappier
Mots clés
FR |
EN
Méthodes formelles (informatique)
Méthodes formelles
Ontologies
Ontologies (informatique)
Systèmes d'information
Event-B
Génie Logiciel
Méthodes Formelles
Système Ferroviaire
Génie logiciel
Transports ferroviaires
Vérification
Contrôle d'accès
Dmp
Médical
Dossier médical personnel
Gestion électronique de documents
Protection de l'information (informatique)
Systèmes informatiques -- Mesures de sûreté
Assistants de preuve