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.

There are further volumes for this material.

Show other volumes

Volume No.

要旨
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