Author:
Lopatkin Ilya,Romanovsky Alexander
Publisher
Springer International Publishing
Reference13 articles.
1. Abrial, J.-R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press (2010)
2. Avizienis, A., Laprie, J.-C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)
3. Lecture Notes in Computer Science;F.L. Dotti,2009
4. FP7 DEPLOY Project: Industrial deployment of system engineering methods providing high dependability and productivity (2008 - 2012),
http://www.deploy-project.eu/
5. Lecture Notes in Computer Science;R. Jeffords,2009
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献