@article{oai:jaxa.repo.nii.ac.jp:00027715, author = {松崎, 恵一 and 斎藤, 徹 and 小湊, 隆 and Matsuzaki, Keiichi and Saito, Tetsu and Okunishi, Shinya and Kominato, Takashi}, issue = {ists28}, journal = {Transactions of the Japan Society for Aeronautical and Space Sciences, Aerospace Technology Japan}, month = {}, note = {資料番号: SA1004420000}, pages = {Tf_11--Tf_17}, title = {Automatic Generation of On-Board Software from the Model- Spacecraft Information Base Version 2 (SIB2)}, volume = {10}, year = {2012} }