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

ヘルプ English
ログイン 終了

検索結果詳細 : ビデオ

Software Dependability and Test-based Software Verification MPMeister

Cyrille Artho

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

この資料の関連情報

所蔵:
  巻号 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数
1 MPMeister   電子化情報 LA-I-R[Flash][Mobile] M013227   0
内容紹介 : IoTや組込み機器など、ソフトウェアが社会基盤を支える時代に必要となるソフトウェアの信頼性を確保する手法について、基本的な考え方を整理し、どのような形で技術を組み合わせて適用すべきかを考える。また、検証技術とソフトウェアのテスト技術を組み合わせて応用する技法について解説する。
刊年 : 2015
形態 : 電子化映像資料(36分19秒)
シリーズ名 :

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

注記 :

講演者所属: 産業技術総合研究所

講演日: 平成27年10月26日

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

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

Artho, Cyrille