@article{weko_143833_1, author = "吉田,実", title = "宇宙システムのつくりかた:3.宇宙で動くソフトウェアのつくりかた -宇宙環境での信頼性の確保-", journal = "情報処理", year = "2015", volume = "56", number = "8", pages = "768--771", month = "jul" }