Guo Xie, Fucai Qian, Xinhong Hei. A Strategy to Improve the Reliability of Object-Oriented Formal Models. In Ninth International Conference on Computational Intelligence and Security, CIS 2013, Emei Mountain, Sichan Province, China, December 14-15, 2013. pages 688-691, IEEE, 2013. [doi]
Abstract is missing.