Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Devesh Bhatt, Arunabh Chattopadhyay, Wenchao Li, David Oglesby, Sam Owre, Natarajan Shankar. Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems. In Sanjai Rayadurgam, Oksana Tkachuk, editors, NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Volume 9690 of Lecture Notes in Computer Science, pages 34-40, Springer, 2016. [doi]

This author has not been identified. Look up 'Devesh Bhatt' in GoogleThis author has not been identified. Look up 'Arunabh Chattopadhyay' in GoogleThis author has not been identified. Look up 'Wenchao Li' in GoogleThis author has not been identified. Look up 'David Oglesby' in GoogleThis author has not been identified. Look up 'Sam Owre' in GoogleThis author has not been identified. Look up 'Natarajan Shankar' in Google

runs on WebDSL