Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal Methods in Railways: A Systematic Mapping Study;ACM Computing Surveys;2022-11-21
2. Formal verification of OIL component specifications using mCRL2;International Journal on Software Tools for Technology Transfer;2022-04-21
3. Towards a Hybrid Verification Approach;Software Technologies: Applications and Foundations;2018
4. Formal Assurance of Signaling Safety;Advances in Civil and Industrial Engineering;2016
5. Some Trends in Formal Methods Applications to Railway Signaling;Formal Methods for Industrial Critical Systems;2012-11-29