Thierry-Mieg, Yann, 19..-....
Thierry-Mieg, Yann
Thierry-Mieg, Yann 197.-....
VIAF ID: 59360506 ( Personal )
Permalink: http://viaf.org/viaf/59360506
Preferred Forms
-
-
- 100 1 _ ‡a Thierry-Mieg, Yann
- 100 1 _ ‡a Thierry-Mieg, Yann, ‡d 19..-....
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Analysis of state-transition graphs of ecosystems using model-checking | |
Systèmes concurrents hiérarchiques : équivalence, analyse et structuration | |
Techniques pour le Model-Checking de spécifications de Haut Niveau | |
UML 2 |