Cited By
View all- Crenshaw TBeyer SBenzel T(2010)UPBOTProceedings of the 3rd international conference on Cyber security experimentation and test10.5555/1924551.1924552(1-8)Online publication date: 9-Aug-2010
- Yan Sun McMillin BXiaoqing Liu Cape D(2007)Verifying Noninterference in a Cyber-Physical System The Advanced Electric Power GridSeventh International Conference on Quality Software (QSIC 2007)10.1109/QSIC.2007.4385521(363-369)Online publication date: Oct-2007
- Sun YLiu XMcMillin B(2006)A Methodology for Structured Object-Oriented Elicitation and Analysis of Temporal Constraints in Hardware/Software Co-analysis and Co-design of Real-Time SystemsProceedings of the 30th Annual International Computer Software and Applications Conference - Volume 0110.1109/COMPSAC.2006.11(281-290)Online publication date: 17-Sep-2006