Using Model-Based Development as Software Low-Level Requirements to Achieve Airborne Software Certification

Johnny Cardoso Marques, Sarasuaty Megume Hayashi Yelisetty, Luiz Alberto Vieira Dias, Adilson Marques da Cunha. Using Model-Based Development as Software Low-Level Requirements to Achieve Airborne Software Certification. In Shahram Latifi, editor, Ninth International Conference on Information Technology: New Generations, ITNG 2012, Las Vegas, Nevada, USA, 16-18 April, 2012. pages 431-436, IEEE Computer Society, 2012. [doi]

@inproceedings{MarquesYDC12,
  title = {Using Model-Based Development as Software Low-Level Requirements to Achieve Airborne Software Certification},
  author = {Johnny Cardoso Marques and Sarasuaty Megume Hayashi Yelisetty and Luiz Alberto Vieira Dias and Adilson Marques da Cunha},
  year = {2012},
  doi = {10.1109/ITNG.2012.102},
  url = {http://doi.ieeecomputersociety.org/10.1109/ITNG.2012.102},
  researchr = {https://researchr.org/publication/MarquesYDC12},
  cites = {0},
  citedby = {0},
  pages = {431-436},
  booktitle = {Ninth International Conference on Information Technology: New Generations, ITNG 2012, Las Vegas, Nevada, USA, 16-18 April, 2012},
  editor = {Shahram Latifi},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-4654-4},
}