Guidance on the Use of Ada95 in High Integrity Systems

Steve Michell, Mark Saaltink. Guidance on the Use of Ada95 in High Integrity Systems. In Lars Asplund, editor, Reliable Software Technologies - Ada-Europe 98, 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings. Volume 1411 of Lecture Notes in Computer Science, pages 276-287, Springer, 1998. [doi]

Authors

Steve Michell

This author has not been identified. Look up 'Steve Michell' in Google

Mark Saaltink

This author has not been identified. Look up 'Mark Saaltink' in Google