Author:
ter Beek Maurice H.,Larsen Kim G.,Ničković Dejan,Willemse Tim A. C.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Early Detection of Earthquakes Using IoT and Cloud Infrastructure: A Survey;Sustainability;2023-07-28
2. Formal model-based argument patterns for security cases;Proceedings of the 28th European Conference on Pattern Languages of Programs;2023-07-05
3. Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023
4. Problematizing the Adoption of Formal Methods in the 4IR–5IR Transition;Applied System Innovation;2022-12-17
5. Parasol: efficient parallel synthesis of large model spaces;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07