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] |