Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proving the Safety of a Sliding Window Protocol with Event-B;Rigorous State-Based Methods;2021
2. Generating Distributed Programs from Event-B Models;Electronic Proceedings in Theoretical Computer Science;2020-08-07
3. A Formal Modeling Approach for Portable Low-Level OS Functionality;Software Engineering and Formal Methods;2020
4. Verification by Construction of Distributed Algorithms;Theoretical Aspects of Computing – ICTAC 2019;2019
5. X-by-Construction;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018