Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Abrial, J.-R.: Formal methods in industry: achievements, problems, future. In: 28th Intl. Conf. Software Engineering (ICSE), Shanghai, China, pp. 761–768. ACM (2006)
2. Abrial, J.-R.: Modeling in Event-B. Cambridge University Press (2010)
3. Abrial, J.-R., et al.: Rodin: an open toolset for modelling and reasoning in Event-B. STTT 12(6), 447–466 (2010)
4. Alloy online tutorial: How to think about an alloy model: 3 levels,
http://alloy.mit.edu/alloy/tutorials/online/sidenote-levels-of-understanding.html
5. Event-B wiki: Industrial projects,
http://wiki.event-b.org/index.php/Industrial_Projects
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Automatic Inference of Behavioral Component Models for ROS-Based Robotics Systems;Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings;2024-04-14
2. ROSInfer: Statically Inferring Behavioral Component Models for ROS-based Robotics Systems;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12
3. Psym: Efficient Symbolic Exploration of Distributed Systems;Proceedings of the ACM on Programming Languages;2023-06-06
4. Model‐checking‐driven explorative testing of CRDT designs and implementations;Journal of Software: Evolution and Process;2023-03-15
5. The TLA$$^{+}$$ Debugger;Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops;2023