Author:
Leuschel Michael,Cansell Dominique,Butler Michael
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abrial, J.-R.: The B-Book. Cambridge University Press, Cambridge (1996)
2. Lecture Notes in Computer Science;J.-R. Abrial,2002
3. Lecture Notes in Computer Science;J.-R. Abrial,2002
4. Butler, M.: A system-based approach to the formal development of embedded controllers for a railway. Design Automation for Embedded Systems 6(4), 355–366 (2002)
5. Cansell, D., Méry, D.: Foundations of the B method. Computing and informatics 22(3–4), 221–256 (2003)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献