Linking Paradigms in Safety Critical Systems

Akram Idani, Jean-Louis Boulanger, Laurent Philippe 0002. Linking Paradigms in Safety Critical Systems. I. J. Comput. Appl., 16(2):111-120, 2009.

Abstract

Abstract is missing.