 | 2007 |
|---|
| 5 |       | Dieu Donné Okalas Ossami,
J.-M. Mota,
Laurent Thiry,
Jean-Marc Perronne,
Jean-Louis Boulanger,
Georges Mariano:
A Method to Model Guidelines for Developing Railway Safety-Critical Systems With Uml.
ICSOFT (SE) 2007: 236-243 |
| 2005 |
|---|
| 4 |  | 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 |
|---|
| 3 | | Dorian Petit,
Vincent Poirriez,
Georges Mariano:
Reuse of SML module system for the B language.
FDL 2004: 637-649 |
| 2 | | Samuel Colin,
Georges Mariano,
Vincent Poirriez:
Duration Calculus: A Real-Time Semantic for B.
ICTAC 2004: 431-446 |
| 2003 |
|---|
| 1 | | Ammar Aljer,
Philippe Devienne,
Sophie Tison,
Jean-Louis Boulanger,
Georges Mariano:
BHDL: Circuit Design in B.
ACSD 2003: 241-242 |
