 | 2008 |
|---|
| 3 |       | Matteo Bordin,
Thanassis Tsiodras,
Maxime Perrotin:
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems.
Ada-Europe 2008: 171-184 |
| 2 | | Konstantinos Mokos,
Panagiotis Katsaros,
Nick Bassiliades,
Vangelis Vassiliadis,
Maxime Perrotin:
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour.
JCKBSE 2008: 405-414 |
| 2007 |
|---|
| 1 |  | Jean-Paul Blanquart,
Gérard Bulsa,
David Lesens,
George Mamais,
Maxime Perrotin:
Formal Modeling of Data. A Case Study for Space Applications.
ISoLA 2007: 123-134 |
