Verified workflow-based software development for infrastructure sensing and control applications

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]

Authors

Douglas A. Creager

This author has not been identified. Look up 'Douglas A. Creager' in Google

John McHugh

This author has not been identified. Look up 'John McHugh' in Google