An approach to formal verication of real time concurrent Ada programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Douglas J. Howe, Stephen Michell. An approach to formal verication of real time concurrent Ada programs. In Tullio Vardanega, editor, Proceedings of the 12th International Workshop on Real-Time Ada, IRTAW 2003, Viana do Castelo, Portugal, September 15-19, 2003. pages 87-92, ACM, 2003. [doi]

This author has not been identified. Look up 'Douglas J. Howe' in GoogleThis author has not been identified. Look up 'Stephen Michell' in Google

runs on WebDSL