@article{oai:jaxa.repo.nii.ac.jp:00021977, author = {森, 孝夫 and 神武, 直彦 and 氏原, 頌悟 and 西, 康晴 and Mori, Takao and Kotake, Naohiko and Ujihara, Shohgo and Iwasaki, Shinya and Nishi, Yasuharu}, journal = {Space Mission Challenges for Information Technology, 2009: SMC-IT 2009 3rd IEEE International Conference on}, month = {}, note = {Space Mission Challenges for Information Technology( 19-23, July 2009), 資料番号: PA0910012000}, pages = {77--82}, title = {Viewpoint-Based Test Analysis for Dependable Onboard Flight Software}, year = {2009} }