Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Abrial, J.-R.: The B Book. Cambridge University Press, Cambridge (1996)
2. Abrial, J.-R.: Extending B without changing it (for developing distributed systems). In: 1st Conference on the B method, Nantes, France, November 1996, pp. 169–190 (1996)
3. Lecture Notes in Computer Science;J.-R. Abrial,2005
4. Lecture Notes in Computer Science;J.-R. Abrial,1998
5. Alpern, B., Demers, A.J., Schneider, F.B.: Safety without stuttering. Information Processing Letters 23(4), 177–180 (1986)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Foundations for using linear temporal logic in Event-B refinement;Formal Aspects of Computing;2016-11
2. Bibliography;From Action Systems to Distributed Systems;2016-04-20
3. Verification of EB3 specifications using CADP;Formal Aspects of Computing;2016-03
4. Refinement-based Validation of Event-B Specifications;Software & Systems Modeling;2016-02-08
5. Reasoning about Liveness Properties in Event-B;Formal Methods and Software Engineering;2011