Frappier, Marc
Frappier, Marc, 1965-
VIAF ID: 57489460 ( Personal )
Permalink: http://viaf.org/viaf/57489460
Preferred Forms
- 100 1 _ ‡a Frappier, Marc
- 100 1 _ ‡a Frappier, Marc
-
-
-
- 100 1 _ ‡a Frappier, Marc ‡d 1965-
-
-
- 100 1 _ ‡a Frappier, Marc, ‡d 1965-
- 100 1 _ ‡a Frappier, Marc, ‡d 1965-
Works
Title | Sources |
---|---|
Abstract state machines, alloy, B and Z : second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings | |
Combinaison de méthodes formelles pour la spécification de systèmes industriels | |
Coupling of formal specifications for modelling information system. | |
Modélisation formelle des systèmes de détection d'intrusions | |
Preuve de propriétés dynamiques en B | |
Programmation impérative par raffinements avec l'assistant de preuve Coq | |
Proving dynamic properties in B. | |
A relational basis for program construction by parts. | |
Software specification methods, 2006: | |
Towards a tooled and proven formal requirements engineering approach. | |
Verification and validation of healthcare access control policies. | |
Vérification de spécifications EB-3 à l'aide de techniques de model-checking | |
Vérification et validation de politiques de contrôle d'accès dans le domaine médical | |
Vers une approche formelle d'ingénierie des exigences outillée et éprouvée | |
Vulnerability detection into Java Card bytecode verifier. |