Author:
Bernardeschi Cinzia,Fantechi Alessandro,Gnesi Stefania,Larosa Salvatore,Mongardi Giorgio,Romano Dario
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Equivalence Checking 40 Years After: A Review of Bisimulation Tools;Lecture Notes in Computer Science;2022
2. Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway;Lecture Notes in Computer Science;2022
3. Continuous compliance;Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering;2020-12-21
4. From the Archives of the Formal Methods and Tools Lab;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
5. Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic;IEEE Transactions on Intelligent Transportation Systems;2017-03