Compositional verification of fault-tolerant real-time programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Borzoo Bonakdarpour, Sandeep S. Kulkarni. Compositional verification of fault-tolerant real-time programs. In Samarjit Chakraborty, Nicolas Halbwachs, editors, Proceedings of the 9th ACM & IEEE International conference on Embedded software, EMSOFT 2009, Grenoble, France, October 12-16, 2009. pages 29-38, ACM, 2009. [doi]

This author has not been identified. Look up 'Borzoo Bonakdarpour' in GoogleThis author has not been identified. Look up 'Sandeep S. Kulkarni' in Google

runs on WebDSL