Monin, Jean-François
Monin, Jean-François, 1960-
VIAF ID: 123666 ( Personal )
Permalink: http://viaf.org/viaf/123666
Preferred Forms
- 200 _ | ‡a Monin ‡b Jean-François
-
-
- 100 1 _ ‡a Monin, Jean François, ‡d 1960-
- 100 1 _ ‡a Monin, Jean François
-
- 100 1 _ ‡a Monin, Jean-François
- 100 1 _ ‡a Monin, Jean-François ‡d 1960-
-
-
5xx's: Related Names (5)
- 500 1 _ ‡a Condillac, Maryse
- 500 1 _ ‡a Herman, Daniel ‡d 19..-....; chercheur en informatique)
- 500 1 _ ‡a Hinchey, Michael G. ‡d 1969-
- 500 1 _ ‡a Hinchey, Michael Gerard ‡d 1969- )
- 500 1 _ ‡a Huet, Gérard ‡d 1947-....; informaticien)
Works
Title | Sources |
---|---|
Certification de programmes avec des effets calculatoires | |
Certification of an Instruction Set Simulator | |
Certification of programs with computational effects. | |
Certified Tools for Schedulability Analyses. | |
Comprendre les méthodes formelles panorama et outils logiques | |
Développement et certification en Coq/MathComp d'optimisations Datalog pour la vérification réseau | |
Introduction aux méthodes formelles | |
Méthodes pour la vérification des protocoles cryptographiques dans le modèle calculatoire | |
Outils certifiés pour les analyses d'ordonnançabilité | |
Programmation en logique et compilation de protocoles : le simulateur Véda | |
Understanding formal methods | |
Vérification automatisée de certificats de terminaison. |