Modular Regression Verification for Reactive Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch. Modular Regression Verification for Reactive Systems. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II. Volume 12477 of Lecture Notes in Computer Science, pages 25-43, Springer, 2020. [doi]

This author has not been identified. Look up 'Alexander Weigl' in GoogleThis author has not been identified. Look up 'Mattias Ulbrich' in GoogleThis author has not been identified. Look up 'Daniel Lentzsch' in Google

runs on WebDSL