2006 | ||
---|---|---|
5 | EE | Alban Gabillon, Laurent Gallon: Availability Constraints for Avionic Data Buses. ARES 2006: 124-131 |
4 | EE | Alban Gabillon, Laurent Gallon: Availability of ARINC 629 Avionic Data Bus. JNW 1(6): 1-9 (2006) |
2002 | ||
3 | EE | Alban Gabillon, Manuel Munier, Jean-Jacques Bascou, Laurent Gallon, Emmanuel Bruno: An Access Control Model for Tree Data Structures. ISC 2002: 117-135 |
1997 | ||
2 | Guy Juanole, Laurent Gallon: Concept of Quantified Abstract Quotient Automaton and its Advantage. FORTE 1997: 223-238 | |
1995 | ||
1 | Guy Juanole, Laurent Gallon: Critical Time Distributed Systems: Qualitative and Quantitative Analysis Based on Stochastic Timed Petri Nets. FORTE 1995: 351-366 |
1 | Jean-Jacques Bascou | [3] |
2 | Emmanuel Bruno | [3] |
3 | Alban Gabillon | [3] [4] [5] |
4 | Guy Juanole | [1] [2] |
5 | Manuel Munier | [3] |