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]
Abstract is missing.