Vergnaud, Thomas
Vergnaud, Thomas, 1978-....
VIAF ID: 44614316 ( Personal )
Permalink: http://viaf.org/viaf/44614316
Preferred Forms
- 200 _ | ‡a Vergnaud ‡b Thomas
- 100 1 _ ‡a Vergnaud, Thomas
- 100 1 _ ‡a Vergnaud, Thomas, ‡d 1978-....
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Modélisation des systèmes temps-réel répartis embarqués pour la génération automatique d'applications formellement vérifiées | |
Modelling distributed real-time embedded systems for the automatic generation of formally verified applications. |