 | 2011 |
|---|
| 5 |       | Gilles Lasnier,
Laurent Pautet,
Jérôme Hugues,
Lutz Wrage:
An Implementation of the Behavior Annex in the AADL-Toolset Osate2.
ICECCS 2011: 332-337 |
| 4 | | Gilles Lasnier,
Laurent Pautet,
Jérôme Hugues:
A Model-Based Transformation Process to Validate and Implement High-Integrity Systems.
ISORC 2011: 67-74 |
| 2010 |
|---|
| 3 | | Gilles Lasnier,
Thomas Robert,
Laurent Pautet,
Fabrice Kordon:
Architectural and Behavioral Modeling with AADL for Fault Tolerant Embedded Systems.
ISORC 2010: 87-91 |
| 2 | | Gilles Lasnier,
Thomas Robert,
Laurent Pautet,
Fabrice Kordon:
Behavioral Modular Description of Fault Tolerant Distributed Systems with AADL Behavioral Annex.
NOTERE 2010: 17-24 |
| 2009 |
|---|
| 1 | | Gilles Lasnier,
Bechir Zalila,
Laurent Pautet,
Jérôme Hugues:
Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.
Ada-Europe 2009: 237-250 |
Data released under the ODC-BY 1.0 license — See also our legal information page