Chemouil, David, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
David Chemouil
VIAF ID: 201024246 (Personal)
Permalink: http://viaf.org/viaf/201024246
Preferred Forms
-
100 1 _
‡a
Chemouil, David,
‡d
19..-....
-
100 0 _
‡a
David Chemouil
4xx's: Alternate Name Forms (2)
Works
| Title | Sources |
|---|---|
| aInductive Types, Isomorphisms and Extensional Rewriting. |
|
| Bounded domain property for first order linear temporal logic and applications to the verification of infinite-state systems. |
|
| Extension événementielle d'une méthode formelle légère et application à l'analyse du protocole distribué Chord |
|
| Formal modelling of requirements and multi-agent temporal logics. |
|
| Modélisation formelle d'exigences et logiques temporelles multi-agents |
|
| Propriété du domaine borné pour la logique temporelle linéaire du premier ordre et applications à la vérification de systèmes à états infinis |
|
| Towards a tooled and proven formal requirements engineering approach. |
|
| Vers une approche formelle d'ingénierie des exigences outillée et éprouvée |
|
