Flexible Monitor Deployment for Runtime Verification of Large Scale Software - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Teng Zhang, Gregory Eakman, Insup Lee, Oleg Sokolsky. Flexible Monitor Deployment for Runtime Verification of Large Scale Software. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Volume 11247 of Lecture Notes in Computer Science, pages 42-50, Springer, 2018. [doi]

This author has not been identified. Look up 'Teng Zhang' in GoogleThis author has not been identified. Look up 'Gregory Eakman' 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