Monin, Jean-François
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
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, ‡d 1960-
-
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
-
100 1 _
‡a
Monin, Jean-François
‡d
1960-
-
100 1 _ ‡a Monin, Jean-François ‡d (1960- ).
-
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 VEDA |
|
| Understanding Formal Methods |
|
| Vérification automatisée de certificats de terminaison. |
|
