大学情報データベース

トップ > 研究者検索 > 論文 > 業績詳細

業績詳細


【論文】

A case study of life cycle formal verification on spacecraft software
【全著者名】
Naoki Ishihama, Ayumu Nagai, Masa katahira
【掲載雑誌名】
ISESE
【発表年月】
2003年
【単著、共著の別】
共著
【掲載雑誌種別】
その他

【研究者】

長井 歩