Author:
Freitas Leo,McDermott John
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference33 articles.
1. Anderson R.: Security Engineering: A Guide to Building Dependable Distributed Systems. 2nd edn. Wiley, New York (2008)
2. Back R.-J., von Wright J.: Refinement Calculus: A Systematic Introduction. Graduate Text in Computer Science. Springer, New York (1998)
3. Barham, P., Dragovic, B., Fraiser, K., Hand, S., Harris, T., Ho, A., Neugebauer, R., Pratt, I., Warfield, A.: Xen and the art of virtualization. In: Proceedings of 19th ACM Symposium on Operating Systems Principles (SOSP-19), Bolton Landing, New York, USA, October 2003
4. Butterfield A., Freitas L., Woodcock J.: Mechanising a formal model of flash memory. Sci. Comput. Program. 74(4), 219–237 (2009)
5. Chisnall D.: The Definitive Guide to the Xen Hypervisor. Prentice-Hall, Englewood Cliffs (2008)
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献