| 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 | |
| 1 | Jérôme Hugues | [1] |
| 2 | Laurent Pautet | [1] |
| 3 | Bechir Zalila | [1] |