Guoqi Li, Boxuan Wang. SysML Aided Safety Analysis for Safety-Critical Systems. In Hepu Deng, Duoqian Miao, Jingsheng Lei, Fu Lee Wang, editors, Artificial Intelligence and Computational Intelligence - Third International Conference, AICI 2011, Taiyuan, China, September 24-25, 2011, Proceedings, Part I. Volume 7002 of Lecture Notes in Computer Science, pages 270-275, Springer, 2011. [doi]
Abstract is missing.