Author:
Méry Dominique,Poppleton Michael
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A fairness-based refinement strategy to transform liveness properties in Event-B models;Science of Computer Programming;2023-01
2. Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions;2021 International Symposium on Theoretical Aspects of Software Engineering (TASE);2021-08
3. Contextual Dependency in State-Based Modelling;Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems;2020-07-28
4. On Formal Modeling and Validation of Wireless Sensor Network Protocols;Wireless Personal Communications;2020-06-27
5. Verification by Construction of Distributed Algorithms;Theoretical Aspects of Computing – ICTAC 2019;2019