奈良先端科学技術大学院大学附属図書館

ヘルプ English
ログイン 終了

検索結果詳細 : ビデオ

超高信頼ソフトウエアシステム検証学研究室の研究と最新のJAXAにおけるソフトウェア関連研究について MPMeister

チョウ コウ シンライ ソフトウエア システム ケンショウガク ケンキュウシツ ノ ケンキュウ ト ジャクサ ニ オケル ソフトウエア カンレン ケンキュウ ニ ツイテ

片平真史

生駒 : 奈良先端科学技術大学院大学, 2017.1

この資料の関連情報

所蔵:
  巻号 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数
1 MPMeister   電子化情報 LA-I-R[Flash][Mobile] M014076   0
内容紹介 : 研究室の研究テーマである、 『極限環境で正しい動作が求められるソフトウェアの超高信頼性・安全性を 実現するためのソフトウェア検証方法論』と、 宇宙における信頼性・安全性を確保するためのソフトウェア工学の研究や、 最新の情報技術を活用した研究について講演する。
刊年 : 2017
形態 : 電子化映像資料(1時間29分55秒)
シリーズ名 :

情報科学研究科・ゼミナール講演 ; 平成28年度

注記 :

講演者所属: 宇宙航空研究開発機構(JAXA)

講演日: 平成29年1月11日

講演場所: 情報科学研究科大講義室L1

標題言語 : (jpn)
本文言語 : (jpn)
著者情報 :

片平, 真史 (カタヒラ, シンジ)