Biblio

Export 5 results:
Filters: Автор is Alexander Romanovsky  [Clear All Filters]
2012
"Deployment of Formal Methods in Industry: the Legacy of the FP7 ICT DEPLOY Integrated Project." ACM SIGSOFT Software Engineering Notes 37, no. 5 (2012): 1-4.
"Intrusion-Avoidance via System Diversity." Information & Security: An International Journal 28, no. 1 (2012): 154-158.
2010
"Developing Mode-Rich Satellite Software by Refinement in Event-B." In Formal Methods for Industrial Critical Systems, FMICS 2010. Springer, 2010.
2006
Butler, Michael, Cliff B. Jones, Alexander Romanovsky, and Elena Troubitsyna. Rigorous Development of Complex Fault-Tolerant Systems. Berlin: Springer, 2006.
2004
Gorbenko, Anatoly, Peter Popov, Alexander Romanovsky, Artem Boyarchuk, and Vyacheslav Kharchenko. "Development of Dependable Web Services out of Undependable Web Components." Technical Report CS-TR (Newcastle: School of Computing Science (2004).