Brat, Guillaume
Brat, Guillaume, 19..-....
VIAF ID: 306106565 ( Personal )
Permalink: http://viaf.org/viaf/306106565
Preferred Forms
-
- 100 1 _ ‡a Brat, Guillaume
-
- 100 1 _ ‡a Brat, Guillaume, ‡d 19..-....
Works
Title | Sources |
---|---|
Compilation et vérification formelle de modèles à base d'automates et de flots de données pour les systèmes critiques | |
NASA formal methods, [2013]: | |
Static analyses and model checking of mixed data-flow/control-flow models for critical systems. |