Traceability in model-driven safety critical software engineering

Richard F. Paige. Traceability in model-driven safety critical software engineering. In Jon Oldevik, Gøran K. Olsen, Dimitrios S. Kolovos, editors, Proceedings of the 6th ECMFA Traceability Workshop, ECMFA-TW 2010, Paris, France, June 15, 2010. pages 5, ACM, 2010. [doi]

Abstract

Abstract is missing.