Author:
Leuschel Michael,Butler Michael
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference63 articles.
1. Abrial, J.-R., Mussat, L.: Introducing dynamic constraints in B. In: Bert, D. (ed.) B’98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22–24, 1998, Proceedings. LNCS, vol. 1393. Springer, Heidelberg (1998)
2. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
3. Abrial, J.-R.: Case study of a complete reactive system in Event-B: a mechanical press controller. In: Tutorial at ZB’2005, http://www.zb2005.org/ (2005)
4. Abrial, J.-R., Butler, M., Hallerstede, S.: An open extensible tool environment for Event-B. In: ICFEM06. LNCS, vol. 4260. Springer, Heidelberg (2006)
5. Abrial, J.-R., Cansell, D.: Click’n prove: interactive proofs within set theory. In: Basin, D.A., Wolff, B. (eds) TPHOLs. LNCS, vol. 2758, pp. 1–24. Springer, Heidelberg (2003)
Cited by
261 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cyclone: A New Tool for Verifying/Testing Graph-Based Structures;Lecture Notes in Computer Science;2024-09-10
2. Formal Methods in Industry;Formal Aspects of Computing;2024-08-21
3. Deriving and Verifying B Specifications from Problem Frames Models via Model Transformation;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24
4. Modeling of a speed control system using Event-B;International Journal on Software Tools for Technology Transfer;2024-05-15
5. An Event-B model of an automotive adaptive exterior light system;International Journal on Software Tools for Technology Transfer;2024-05-14