Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Iulia Dragomir, Simon Iosti, Marius Bozga, Saddek Bensalem. Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach. In Tiziana Margaria, Bernhard Steffen, editors, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Volume 11246 of Lecture Notes in Computer Science, pages 155-171, Springer, 2018. [doi]

This author has not been identified. Look up 'Iulia Dragomir' in GoogleThis author has not been identified. Look up 'Simon Iosti' in GoogleThis author has not been identified. Look up 'Marius Bozga' in GoogleThis author has not been identified. Look up 'Saddek Bensalem' in Google

runs on WebDSL