| 2008 |
|---|
| 4 | EE | Samuel Colin,
Arnaud Lanoix,
Olga Kouchnarenko,
Jeanine Souquières:
Towards Validating a Platoon of Cristal Vehicles Using CSP||B.
AMAST 2008: 139-144 |
| 3 | EE | Arnaud Lanoix,
Samuel Colin,
Jeanine Souquières:
Développement formel par composants Assemblage et vérification à l'aide de B.
Technique et Science Informatiques 27(8): 1007-1032 (2008) |
| 2005 |
|---|
| 2 | EE | Samuel Colin,
Dorian Petit,
Vincent Poirriez,
Jérôme Rocheteau,
Rafael Marcano,
Georges Mariano:
BRILLANT : An Open Source and XML-based platform for Rigourous Software Development.
SEFM 2005: 373-382 |
| 2004 |
|---|
| 1 | EE | Samuel Colin,
Georges Mariano,
Vincent Poirriez:
Duration Calculus: A Real-Time Semantic for B.
ICTAC 2004: 431-446 |
