Characterizing, deriving and validating safety properties of integrated services in home network system

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 博士論文
Title: Characterizing, deriving and validating safety properties of integrated services in home network system
Author/Editor: Ben Yan [著]
Author Heading: 閻, 奔エン, ホン
Publication, Distribution, etc.: [Ben Yan]
Publication Date: [2008]
Publication Date (W3CDTF): 2008
Extent: 1冊
Alternative Title: ホームネットワークシステムにおける家電連携サービスの安全性の定義、抽出、検証に関する研究ホームネットワークシステムニオケルカデンレンケイサービスノアンゼンセイノテイギチュウシュツケンショウニカンスルケンキュウ
Degree grantor/type: 奈良先端科学技術大学院大学
Date Granted: 平成20年12月22日
Date Granted (W3CDTF): 2008
Dissertation Number: 甲第809号
Degree Type: 博士 (工学)
Note (Dissertation): 博士論文
Place of Publication (Country Code): JP
Text Language Code: eng
Alias of Author: Yan, Ben
NDLC: UT51
Note (General): 博士論文
Holding library: 国立国会図書館
Call No.: UT51-2008-T703
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010116708
http://id.ndl.go.jp/bib/000010116708
Bibliographic Record Category (NDL): 213