連携部分に着目した分割統治法および安全性プロパティ導出ルールを用いた複雑な組込みシステムに対するモデル検査適用手法(本文)

• Material Type: 博士論文
• Title: 連携部分に着目した分割統治法および安全性プロパティ導出ルールを用いた複雑な組込みシステムに対するモデル検査適用手法(本文)
• Author/Editor: 加藤, 淳
• Author Heading: 加藤, 淳
• Publication, Distribution, etc.: 慶應義塾大学大学院システムデザイン・マネジメント研究科
• Publication Date: 2014-03-23
• Publication Date (W3CDTF): 2014-03-23
• Alternative Title: レンケイ ブブン ニ チャクモクシタ ブンカツ トウチホウ オヨビ アンゼンセイ プロパティ ドウシュツ ルール オ モチイタ フクザツナ クミコミ システム ニ タイスル モデル ケンサ テキヨウ シュホウ (ホンブン); Renkei bubun ni chakumokushita bunkatsu tochiho oyobi anzensei puropati doshutsu ruru o mochiita fukuzatsuna kumikomi shisutemu ni taisuru moderu kensa tekiyo shuho (honbun); Model checking with efficient model verification and correct safety property derivation for complex embedded systems
• Degree grantor/type: 慶應義塾大学
• Date Granted: 2014-03-23
• Date Granted (W3CDTF): 2014-03-23
• Dissertation Number: 甲第4009号
• Degree Type: 博士(システムエンジニアリング学)
• Conferring No. (Dissertation): 甲第4009号
• Text Language Code: jpn
• Target Audience: 一般
• Note (General): type:text
• Persistent ID (NDL): info:ndljp/pid/8951527; https://dl.ndl.go.jp/pid/8951527
• Collection: 障害者向け資料
• Collection (Materials For Handicapped People:1): テキストデータ
• Collection (particular): 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• Acquisition Basis: 博士論文（自動収集）
• Available (W3CDTF): 2015-03-03
• Date Accepted (W3CDTF): 2015-02-03T05:25:05+09:00
• Date Created (W3CDTF): 2013
• Format (IMT): application/pdf
• Access Restrictions: 国立国会図書館内限定公開
• Service for the Digitized Contents Transmission Service: 図書館・個人送信対象外
• Availability of remote photoduplication service: 可
• Periodical Title (URI): https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/detail.php?koara_id=KO40002002-20134009-0003
• Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

Table of Contents

2019-12-04 再収集

2023-03-07 再収集

2023-12-08 再収集

2024-01-19 再収集