Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems
Publication year
2020Publisher
Cham : Springer International Publishing
ISBN
9783030634063
In
Lecture Notes in Computer Science, (2020)Lin, S.-W.; Hou, Z.; Mahony, B. (ed.), Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings, pp. 3-19ISSN
Annotation
ICFEM 2020
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Lin, S.-W.
Hou, Z.
Mahony, B.
Organization
Software Science
Journal title
Lecture Notes in Computer Science
Book title
Lin, S.-W.; Hou, Z.; Mahony, B. (ed.), Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Page start
p. 3
Page end
p. 19
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [227425]
- Electronic publications [107155]
- Faculty of Science [33750]
- Open Access publications [76288]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.