Author:
Ernst Gidon,Pfähler Jörg,Schellhorn Gerhard,Reif Wolfgang
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abrial, J.-R., Hallerstede, S.: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundamenta Informaticae 77 (2007)
2. Abrial, J.-R.: The B Book - Assigning Programs to Meanings. Cambridge University Press (1996)
3. Abrial, J.-R.: Modeling in Event-B. Cambridge University Press (2010)
4. Börger, E.: The ASM Refinement Method. Formal Aspects of Computing 15(1-2), 237–257 (2003)
5. Börger, E., Stärk, R.F.: Abstract State Machines — A Method for High-Level System Design and Analysis. Springer (2003)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献