 | 2009 |
|---|
| 11 |       | Akram Idani,
Jean-Louis Boulanger,
Laurent Philippe:
Linking Paradigms in Safety Critical Systems.
I. J. Comput. Appl. 16(2): 111-120 (2009) |
| 2008 |
|---|
| 10 |  | Jean-Louis Boulanger,
Van Quang Dao:
Requirements engineering in a model-based methodology for embedded automotive software.
RIVF 2008: 263-268 |
| 9 | | Jean-Louis Boulanger,
Van Quang Dao:
An Example of Requirements Engineering in a Model-based Methodology for Embedded Automotive Software.
SEDE 2008: 130-137 |
| 8 | | Jean-Louis Boulanger:
RT3-TUCS: How to Build a Certifiable and Safety Critical Railway Application with UML Notation.
SEDE 2008: 182-187 |
| 2007 |
|---|
| 7 | | Akram Idani,
Jean-Louis Boulanger,
Laurent Philippe:
A Generic Process and its Tool Support towards Combining UML and B for Safety Critical Systems.
CAINE 2007: 185-192 |
| 6 | | Akram Idani,
Dieu Donné Okalas Ossami,
Jean-Louis Boulanger:
Commandments of UML for Safety.
ICSEA 2007: 58 |
| 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 | | Jean-Louis Boulanger:
BRAIL - Safety Requirement Analysis.
ICEIS (3) 2005: 108-111 |
| 2003 |
|---|
| 3 | | Jean-Louis Boulanger:
ABTOOLS: Another B Tool.
ACSD 2003: 231-232 |
| 2 | | Ammar Aljer,
Philippe Devienne,
Sophie Tison,
Jean-Louis Boulanger,
Georges Mariano:
BHDL: Circuit Design in B.
ACSD 2003: 241-242 |
| 1995 |
|---|
| 1 | | Jean-Louis Boulanger:
Object Oriented Method for Axiom.
SIGPLAN Notices 30(2): 33-41 (1995) |
