Author:
Kouchnarenko Olga,Lanoix Arnaud
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Abrial, J.-R.: The B Book. Cambridge University Press, Cambridge (1996) ISBN 0521-496195
2. Abrial, J.-R.: Constructions d’automatismes industriels avec B. In: Congrès AFADL, ONERA-CERT - Toulouse, France (May 1997) (invited lecture)
3. Abrial, J.-R.: Discrete system models. Version 1.1 (February 2002)
4. Lecture Notes in Computer Science;J.-R. Abrial,1998
5. Lecture Notes in Computer Science;P. Behm,1998
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献