Poirriez, Vincent, 1958-....
VIAF ID: 75147602686557642576 ( Personal )
Permalink: http://viaf.org/viaf/75147602686557642576
Preferred Forms
5xx's: Related Names (3)
- 511 2 _ ‡a Institut universitaire de technologie (Valenciennes, Nord)
- 511 2 _ ‡a Laboratoire d'automatique, de mécanique et d'informatique industrielles et humaines (Valenciennes, Nord)
- 511 2 _ ‡a Université de Valenciennes et du Hainaut-Cambrésis (Valenciennes, Nord)
Works
Title | Sources |
---|---|
Combining SysML and SystemC to Simulate and Verify Complex Systems | |
Génération automatique de composants logiciels sûrs à partir de spécifications formelles B | |
INTEGRATION DE FONCTIONNALITES LOGIQUES DANS UN LANGAGE FONCTIONNEL FORTEMENT TYPE : MLOG UNE EXTENSION | |
INTEGRATION OF LOGICAL FUNCTIONALITY IN A FUNCTIONAL LANGUAGE STRONGLY TYPED: MLOG AN EXTENSION OF ML. | |
Utilisation conjointé de SysML et systemC pour simmuler et vérifier les systèmes complexes. |