Guidance on the Use of Ada95 in High Integrity Systems - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Using analytical approaches for high integrity Ada95 systemsStephen Michell, Dan Craigen, Mark Saaltink. irtaw 1997: 65-70 [doi]

runs on WebDSL