Julien Delange, Laurent Pautet, Jérôme Hugues, Dionisio de Niz. An MDE-Based Process for the Design, Implementation and Validation of Safety-Critical Systems. In Radu Calinescu, Richard F. Paige, Marta Z. Kwiatkowska, editors, 15th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2010, Oxford, United Kingdom, 22-26 March 2010. pages 319-324, IEEE Computer Society, 2010. [doi]
Abstract is missing.