Characterizing, Deriving and Validating Safety Properties of Integrated Services in Home Network System

Characterizing, Deriving and Validating Safety Properties of Integrated Services in Home Network System

Ben Yan

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

学位論文

この資料には他にも巻号があります。

他の巻号を見る

巻号情報

No. 刷年 所在 請求記号 資料ID 貸出区分 状況 予約人数

1

R006614

2

  • [IS]2008

禁帯出

詳細情報

刊年

2008

別書名

ホームネットワークシステムにおける家電連携サービスの安全性の定義、抽出、検証に関する研究

シリーズ名

奈良先端科学技術大学院大学情報科学研究科博士論文 ; 2008年12月

注記

学位記番号: 博第809号

報告番号: 甲第809号

学位授与年月日: 2008/12/22

学位の種類: 博士(工学)

学生番号: 0661029

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

閻, 奔 (エン, ホン)

件名

Home Network System

Integrated Service

Safety Property

Hazard Analysis Model

Design by Contract

Requirement-engineering