![]() |
| 2005 | ||
|---|---|---|
| 3 | EE | Laurent Sagaspe, Gérard Bel, Pierre Bieber, Frédéric Boniol, Charles Castel: Safe Allocation of Avionics Shared Resources. HASE 2005: 25-33 |
| 2003 | ||
| 2 | EE | Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels: Robustness analysis of avionics embedded systems. LCTES 2003: 123-132 |
| 1 | EE | Frédéric Boniol, Gérard Bel, Jérôme Ermont: Trois approches pour la modélisation et la vérification de systèmes embarqués. Technique et Science Informatiques 22(5): 539-569 (2003) |
| 1 | Yamine Aït Ameur | [2] |
| 2 | Pierre Bieber | [3] |
| 3 | Frédéric Boniol | [1] [2] [3] |
| 4 | Charles Castel | [3] |
| 5 | Jérôme Ermont | [1] |
| 6 | S. Pairault | [2] |
| 7 | Laurent Sagaspe | [3] |
| 8 | Virginie Wiels | [2] |