Author:
Fokkink Wan,Ioustinova Natalia,Kesseler Ernst,van de Pol Jaco,Usenko Yaroslav S.,Yushtein Yuri A.
Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. J. R. Abrial. The B-Book. Cambridge University Press, 1996.
2. Th. Arts and I. A. van Langevelde. Correct performance of transaction capabilities. In Proceedings 2nd Conference on Applications of Concurrency to System Design (ICACSD’2001), Newcastle upon Tyne, UK, pp. 35–42. IEEE Computer Society Press, 2001.
3. Lect Notes Comput Sci;S. C. C. Blom,2001
4. Lect Notes Comput Sci;P. F. G. Dechering,2000
5. J. A. J. A. Dominicus, A. A. ten Have, M. C. Buitelaar, P. R. Hoek, and F. J. Carati. Functional requirements for an on-board loads and usage monitoring system for the WHL Lynx SH-14D helicopter. Report CR 97568, National Aerospace Laboratory, November 1997.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献