Marc Frappier
IdRefMots clés
FR |
EN
Méthodes formelles (informatique)
Méthodes formelles
Systèmes d'information
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
SysML/KAOS
B System
Modélisation du domaine