Designing a Mathematically Verified I:::2:::C Device Driver Using ASD - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Arjen Klomp, Herman W. Roebbers, Ruud Derwig, Leon Bouwmeester. Designing a Mathematically Verified I:::2:::C Device Driver Using ASD. In Peter H. Welch, Herman W. Roebbers, Jan F. Broenink, Fred R. M. Barnes, Carl G. Ritson, Adam T. Sampson, Gardiner S. Stiles, Brian Vinter, editors, The thirty-second Communicating Process Architectures Conference, CPA 2009, organised under the auspices of WoTUG, Eindhoven, The Netherlands, 1-6 November 2009. Volume 67 of Concurrent Systems Engineering Series, pages 105-116, IOS Press, 2009. [doi]

This author has not been identified. Look up 'Arjen Klomp' in GoogleThis author has not been identified. Look up 'Herman W. Roebbers' in GoogleThis author has not been identified. Look up 'Ruud Derwig' in GoogleThis author has not been identified. Look up 'Leon Bouwmeester' in Google

runs on WebDSL