Bourbouh, Hamza, 19..-....
VIAF ID: 120155767481127762087 ( Personal )
Permalink: http://viaf.org/viaf/120155767481127762087
Preferred Forms
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 | |
Static analyses and model checking of mixed data-flow/control-flow models for critical systems. |