Rima Al Ali, Tomás Bures, Petr Hnetynka, Filip Krijt, Frantisek Plasil, Jirí Vinárek. Dynamic Security Specification Through Autonomic Component Ensembles. 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 172-185, Springer, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.