Combining Formal and Informal Methods in the Design of Spacecrafts

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

Abstract is missing.