Author:
Aguirre Nazareno,Bicarregui Juan,Dimitrakos Theo,Maibaum Tom
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. J.-R. Abrial, The B-Book, Assigning Programs to Meanings, Cambridge University Press, 1996.
2. N. Aguirre and T. Maibaum, A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems, in Proceedings of the 17th International Conference Automated Software Engineering ASE 2002, IEEE Press, 2002.
3. Lect Notes Comput Sci;N. Aguirre,2003
4. The B-Toolkit User Manual, B-Core (UK) Limited, 1996.
5. R.-J. Back and M. Butler, Fusion and Simultaneous Execution in the Refinement Calculus, Acta Informatica 35, vol 11, 1998.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Extension of Event B for Developing Grid Systems;ZB 2005: Formal Specification and Development in Z and B;2005
2. Towards Dynamically Communicating Abstract Machines in the B Method;Formal Methods and Software Engineering;2005
3. Information Systems Research and Development at CCLRC;Electronic Notes in Theoretical Computer Science;2003-08