High Assurance Systems Engineering - Position Paper

Kenneth D. Shere. High Assurance Systems Engineering - Position Paper. In COMPSAC 96 - 20th Computer Software and Applications Conference, August 19-23, 1996, Seoul, Korea. pages 397, IEEE Computer Society, 1996. [doi]

Abstract

Abstract is missing.