Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Marc Frappier
Marc Frappier
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Modélisation formelle des systèmes de détection d'intrusions
Combinaison de méthodes formelles pour la spécification de systèmes industriels
Vérification et validation de politiques de contrôle d'accès dans le domaine médical
Preuve de propriétés dynamiques en B