| |
| 2008 | ||
|---|---|---|
| 1 | EE | Ahcene Bouzoualegh, Dominique Marcadet, Frédéric Boulanger, Christophe Jacquet: An Architecture Description Language for Verification in Component-Based Software. COMPSAC 2008: 365-368 |
| 1 | Frédéric Boulanger | [1] |
| 2 | Christophe Jacquet | [1] |
| 3 | Dominique Marcadet | [1] |