@article{oai:jaxa.repo.nii.ac.jp:00021945,
 author = {Kohtake, Naohiko and Katoh, Atsushi and Ishihama, Naoki and Katahira, Masafumi},
 journal = {2009 IEEE Aerospace Conference},
 month = {},
 note = {資料番号: PA0810133000},
 pages = {1--6},
 title = {Model-based independent verification and validation for dependable flight software},
 year = {2009}
}