Mengfei Yang, Naijun Zhan. Combining Formal and Informal Methods in the Design of Spacecrafts. In Zhiming Liu 0001, Zili Zhang, editors, Engineering Trustworthy Software Systems - First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures. Volume 9506 of Lecture Notes in Computer Science, pages 290-323, Springer, 2014. [doi]
Abstract is missing.