Douglas A. Creager, John McHugh. Verified workflow-based software development for infrastructure sensing and control applications. In Frederick T. Sheldon, Robert K. Abercrombie, Axel W. Krings, editors, Proceedings of the 7th Cyber Security and Information Intelligence Research Workshop, CSIIRW 2011, Oak Ridge, TN, USA, October 12-14, 2011. pages 18, ACM, 2011. [doi]
No references recorded for this publication.
No citations of this publication recorded.