Author:
Zeroual Marwa,Hamid Brahim,Adedjouma Morayo,Jaskolka Jason
Publisher
Springer Nature Switzerland
Reference12 articles.
1. Altawy, R., Youssef, A.M.: Security, privacy, and safety aspects of civilian drones: a survey. ACM Trans. Cyber-Phys. Syst. 1(2), 1–25 (2016). https://doi.org/10.1145/3001836
2. Batra, M.: Formal methods: benefits, challenges and future direction. J. Global Res. Comput. Sci. 4(5), 21–25 (2013)
3. ter Beek, M.H., Larsen, K.G., Ničković, D., Willemse, T.A.: Formal methods and tools for industrial critical systems. Int. J. Softw. Tools Technol. Transfer 24(3), 325–330 (2022)
4. Foster, S., Nemouchi, Y., Gleirscher, M., Wei, R., Kelly, T.: Integration of formal proof into unified assurance cases with Isabelle/SACM. Formal Aspects Comput. 33(6), 855–884 (2021)
5. Gacek, A., Backes, J., Cofer, D., Slind, K., Whalen, M.: Resolute: an assurance case language for architecture models. ACM SIGAda Ada Lett. 34(3), 19–28 (2014)