A Non-intrusive Solution to Guarantee Runtime Behavior of Open SCADA Systems
暂无分享,去创建一个
[1] Howard Barringer,et al. Rule Systems for Run-time Monitoring: from Eagle to RuleR , 2010, J. Log. Comput..
[2] Mahesh Viswanathan,et al. Verisim: Formal analysis of network simulations , 2000, ISSTA '00.
[3] Yliès Falcone,et al. Runtime enforcement monitors: composition, synthesis, and enforcement abilities , 2011, Formal Methods Syst. Des..
[4] Insup Lee,et al. Monitoring, Checking, and Steering of Real-Time Systems , 2002, Electron. Notes Theor. Comput. Sci..
[5] Carl H. Hauser,et al. Smart Generation and Transmission With Coherent, Real-Time Data , 2011, Proceedings of the IEEE.
[6] Xiang Fu,et al. Specification of realizable service conversations using collaboration diagrams , 2007, IEEE International Conference on Service-Oriented Computing and Applications (SOCA '07).