Author:
Vistbakka Inna,Troubitsyna Elena
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Analysis of Interactions Between Safety and Security Requirements;Lecture Notes in Computer Science;2024
2. Employing Redundancy to Leverage Cybersecurity Protection of Safety-Critical Systems;2023 10th International Conference on Dependable Systems and Their Applications (DSA);2023-08-10
3. Utilising Redundancy to Enhance Security of Safety-Critical Systems;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023
4. Facilitating Safety and Security Co-design and Formal Analysis in Multi-layered System Modeling;2022 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech);2022-09-12
5. Model‐driven engineering of safety and security software systems: A systematic mapping study and future research directions;Journal of Software: Evolution and Process;2022-05-26