Author:
Bouwman Mark,Wal Djurre van der,Luttik Bas,Stoelinga Mariëlle,Rensink Arend
Publisher
Research Publishing Services
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Formal Modeling and Initial Analysis of the 4SECURail Case Study;Electronic Proceedings in Theoretical Computer Science;2022-03-21
2. Supporting Railway Innovations with Formal Modelling and Verification;Formal Methods for Industrial Critical Systems;2022
3. The 4SECURail Formal Methods Demonstrator;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2022
4. A Formalisation of SysML State Machines in mCRL2;Formal Techniques for Distributed Objects, Components, and Systems;2021