A Safety Case Pattern for Model-Based Development Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anaheed Ayoub, BaekGyu Kim, Insup Lee, Oleg Sokolsky. A Safety Case Pattern for Model-Based Development Approach. In Alwyn Goodloe, Suzette Person, editors, NASA Formal Methods - 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Volume 7226 of Lecture Notes in Computer Science, pages 141-146, Springer, 2012. [doi]

This author has not been identified. Look up 'Anaheed Ayoub' in GoogleThis author has not been identified. Look up 'BaekGyu Kim' 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