• Top
  • Details (Local collection)
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

Thesis / Diss.

Volume No.

Total: 2
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R006614

2

  • [IS]2008

Restricted

No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

  • Abstract

R006621

Details

Publication year

2008

Alternative title

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

Series title

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

Note

学位記番号: 博第809号

報告番号: 甲第809号

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

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

学生番号: 0661029

Country of publication

Japan

Title language

English (eng)

Language of texts

English (eng)

Author information

閻, 奔 (エン, ホン)

Subject

Home Network System

Integrated Service

Safety Property

Hazard Analysis Model

Design by Contract

Requirement-engineering