Robustness analysis of avionics embedded systems

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]

@inproceedings{AmeurBBPW03,
  title = {Robustness analysis of avionics embedded systems},
  author = {Yamine Aït Ameur and Gérard Bel and Frédéric Boniol and S. Pairault and Virginie Wiels},
  year = {2003},
  doi = {10.1145/780732.780750},
  url = {http://doi.acm.org/10.1145/780732.780750},
  tags = {analysis},
  researchr = {https://researchr.org/publication/AmeurBBPW03},
  cites = {0},
  citedby = {0},
  pages = {123-132},
  booktitle = {Proceedings of the 2003 Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 03). San Diego, California, USA, June 11-13, 2003},
  publisher = {ACM},
  isbn = {1-58113-647-1},
}