Author:
Ghezzi C.,Mandrioli D.,Morasca S.,Pezze M.
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
167 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Inter‐cloud secure data sharing and its formal verification;Transactions on Emerging Telecommunications Technologies;2021-10-18
2. Continuous Formal Verification of Microservice-Based Process Flows;Communications in Computer and Information Science;2020
3. Formal Modelling and Verification of Real-Time Self-Adaptive Systems;2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT);2019-10
4. Hybrid Predicate Transition Nets - A Formal Method for Modeling and Analyzing Cyber-Physical Systems;2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS);2019-07
5. Modeling and Analyzing Cyber Physical Systems Using High Level Petri Nets;2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C);2018-07