Toward dependable safety-critical software

Farokh B. Bastani, Bojan Cukic, Victoria Hilford, Anouar Jamoussi. Toward dependable safety-critical software. In Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems, February 1-2, 1996, Laguna Beach, California, USA. pages 86-92, IEEE, 1996. [doi]

Abstract

Abstract is missing.