Yamine Aït Ameur, Gérard Bel, Frédéric Boniol, S. Pairault, Virginie Wiels. Robustness analysis of avionics embedded systems. In Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 03). San Diego, California, USA, June 11-13, 2003. pages 123-132, ACM, 2003. [doi]
Abstract is missing.