チョウ コウ シンライ ソフトウエア システム ケンショウガク ケンキュウシツ ノ ケンキュウ ト ジャクサ ニ オケル ソフトウエア カンレン ケンキュウ ニ ツイテ
片平真史
生駒 : 奈良先端科学技術大学院大学, 2017.1
授業アーカイブ研究室の研究テーマである、 『極限環境で正しい動作が求められるソフトウェアの超高信頼性・安全性を 実現するためのソフトウェア検証方法論』と、 宇宙における信頼性・安全性を確保するためのソフトウェア工学の研究や、 最新の情報技術を活用した研究について講演する。
2017
電子化映像資料(1時間29分55秒)
情報科学研究科・ゼミナール講演 ; 平成28年度
講演者所属: 宇宙航空研究開発機構（JAXA）
講演日: 平成29年1月11日
講演場所: 情報科学研究科大講義室L1
日本語 (jpn)
日本語 (jpn)
片平, 真史 (カタヒラ, シンジ)
