2007 |
4 | EE | Akram Idani,
Dieu Donné Okalas Ossami,
Jean-Louis Boulanger:
Commandments of UML for Safety.
ICSEA 2007: 58 |
3 | | 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 |
2006 |
2 | EE | Arnaud Lanoix,
Dieu Donné Okalas Ossami,
Jeanine Souquières:
An Operator-based Approach to Incremental Development of Conform Protocol State Machines.
Trustworthy Software 2006 |
2005 |
1 | EE | Dieu Donné Okalas Ossami,
Jean-Pierre Jacquot,
Jeanine Souquières:
Consistency in UML and B Multi-view Specifications.
IFM 2005: 386-405 |