Miao Wang, Shenghui Zhang, Jie Chen. Ground proximity warning mission system dynamic safety modeling based on SoTeRiA. In Kuniaki Uehara, Masahide Nakamura, editors, 16th IEEE/ACIS International Conference on Computer and Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017. pages 781-784, IEEE Computer Society, 2017. [doi]
Abstract is missing.