Assurance Cases in Model-Driven Development of the Pacemaker Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Eunkyoung Jee, Insup Lee, Oleg Sokolsky. Assurance Cases in Model-Driven Development of the Pacemaker Software. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II. Volume 6416 of Lecture Notes in Computer Science, pages 343-356, Springer, 2010. [doi]

This author has not been identified. Look up 'Eunkyoung Jee' in GoogleThis author has not been identified. Look up 'Insup Lee' in GoogleThis author has not been identified. Look up 'Oleg Sokolsky' in Google

runs on WebDSL