Using analytical approaches for high integrity Ada95 systems

Stephen Michell, Dan Craigen, Mark Saaltink. Using analytical approaches for high integrity Ada95 systems. In Andy J. Wellings, editor, Proceedings of the Eighth International Workshop on Real-Time Ada, IRTAW 1997, Ravenscar, United Kingdom, 1997. pages 65-70, ACM, 1997. [doi]

Authors

Stephen Michell

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

Dan Craigen

This author has not been identified. Look up 'Dan Craigen' in Google

Mark Saaltink

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