Author:
Margaria Tiziana,Steffen Bernhard
Publisher
Springer International Publishing
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Temporal Verification of Relay-Based Railway Traffic Control Systems Using the Integrated Model of Distributed Systems;Energies;2022-11-29
2. Cinco-Based Approach for Agent Petri Net Models;International Journal of Organizational and Collective Intelligence;2022-07-26
3. Formal Methods for a Digital Industry;Lecture Notes in Computer Science;2022
4. DIME Days (ISoLA 2022 Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
5. Doping Tests for Cyber-physical Systems;ACM Transactions on Modeling and Computer Simulation;2021-07-31