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

ヘルプ English
ログイン 終了

検索結果詳細 : 学内論文・講義資料

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

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

片平真史, 石濱直樹

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

この資料の関連情報

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

講義・講演レジュメ ; 平成27年度

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

注記 :

独立行政法人宇宙航空研究開発機構

講演日: 平成27年11月4日

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

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

片平, 真史 (カタヒラ, マサフミ)

石濱, 直樹 (イシハマ, ナオキ)