Ada 95 as implementation vehicle for formal specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

K. Brink, Jan van Katwijk, W. J. Toetenel. Ada 95 as implementation vehicle for formal specifications. In Third International Workshop on Real-Time Computing Systems Application (RTCSA 96), October 30 - November 01, 1996, Seoul, Korea. pages 98-105, IEEE Computer Society, 1996. [doi]

This author has not been identified. Look up 'K. Brink' in GoogleThis author has not been identified. It may be one of the following persons:

Jan van Katwijk

Look up 'Jan van Katwijk' in GoogleThis author has not been identified. Look up 'W. J. Toetenel' in Google

runs on WebDSL