Integrating Real-Time Scheduling Theory and Program Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes. Integrating Real-Time Scheduling Theory and Program Refinement. In Marie-Claude Gaudel, Jim Woodcock, editors, FME 96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. Volume 1051 of Lecture Notes in Computer Science, pages 327-346, Springer, 1996.

This author has not been identified. Look up 'Colin J. Fidge' in GoogleThis author has not been identified. Look up 'Mark Utting' in GoogleThis author has not been identified. Look up 'Peter Kearney' in GoogleThis author has not been identified. Look up 'Ian J. Hayes' in Google

runs on WebDSL