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]
Abstract is missing.