Author:
Gnesi Stefania,Margaria Tiziana
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
2. Formal methods and tools for industrial critical systems;International Journal on Software Tools for Technology Transfer;2022-10-28
3. Formal methods and tools for industrial critical systems;International Journal on Software Tools for Technology Transfer;2022-04-04
4. Safe Software and Secure Software;Safety and Security of Cyber-Physical Systems;2022
5. A Survey on Applications of Formal Methods in Analysis of SCADA Systems;Critical Information Infrastructures Security;2021