David Chemouil
Directeur de recherches ONERA DTIS
2
Documents
Site web
- http://www.onera.fr/staff/david-chemouil
Domaines de recherche
Logique en informatique [cs.LO]
Génie logiciel [cs.SE]
Publications
- 2
- 2
- 1
- 1
- 1
- 1
- 2
|
Lightweight Specification and Analysis of Dynamic Systems with Rich ConfigurationsFoundations of Software Engineering, Nov 2016, Seattle, United States. ⟨10.1145/2950290.2950318⟩
Communication dans un congrès
hal-01355062v1
|
|
On Finite Domains in First-Order Linear Temporal Logic14th International Symposium on Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. ⟨10.1007/978-3-319-46520-3_14⟩
Communication dans un congrès
hal-01343197v1
|