A Unified Approach for Modeling, Developing, and Assuring Critical Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Hatcliff, Brian R. Larson, Jason Belt, Robby, Yi Zhang. A Unified Approach for Modeling, Developing, and Assuring Critical Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Volume 11244 of Lecture Notes in Computer Science, pages 225-245, Springer, 2018. [doi]

This author has not been identified. It may be one of the following persons:

John Hatcliff

Look up 'John Hatcliff' in GoogleThis author has not been identified. Look up 'Brian R. Larson' in GoogleThis author has not been identified. Look up 'Jason Belt' in GoogleThis author has not been identified. Look up 'Robby' in GoogleThis author has not been identified. Look up 'Yi Zhang' in Google

runs on WebDSL