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.

Abstract

Abstract is missing.