Design-driven Development of Dependable Applications - A Case Study in Avionics

Quentin Enard, Stéphanie Gatti, Julien Bruneau, Youg-Joo Moon, Emilie Balland, Charles Consel. Design-driven Development of Dependable Applications - A Case Study in Avionics. In César Benavente-Peces, Joaquim Filipe, editors, PECCS 2013 - Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems, Barcelona, Spain, 19-21 February, 2013. pages 177-186, SciTePress, 2013.

@inproceedings{EnardGBMBC13,
  title = {Design-driven Development of Dependable Applications - A Case Study in Avionics},
  author = {Quentin Enard and Stéphanie Gatti and Julien Bruneau and Youg-Joo Moon and Emilie Balland and Charles Consel},
  year = {2013},
  researchr = {https://researchr.org/publication/EnardGBMBC13},
  cites = {0},
  citedby = {0},
  pages = {177-186},
  booktitle = {PECCS 2013 - Proceedings of the 3rd International Conference on Pervasive Embedded Computing and Communication Systems, Barcelona, Spain, 19-21 February, 2013},
  editor = {César Benavente-Peces and Joaquim Filipe},
  publisher = {SciTePress},
  isbn = {978-989-8565-43-3},
}