Modelling and Proof Analysis of Interrupt Driven Scheduling - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bill Stoddart, Dominique Cansell, Frank Zeyda. Modelling and Proof Analysis of Interrupt Driven Scheduling. In Jacques Julliand, Olga Kouchnarenko, editors, B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings. Volume 4355 of Lecture Notes in Computer Science, pages 155-170, Springer, 2007. [doi]

This author has not been identified. Look up 'Bill Stoddart' in GoogleThis author has not been identified. Look up 'Dominique Cansell' in GoogleThis author has not been identified. Look up 'Frank Zeyda' in Google

runs on WebDSL