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

• 資料種別: 博士論文
• タイトル: 連携部分に着目した分割統治法および安全性プロパティ導出ルールを用いた複雑な組込みシステムに対するモデル検査適用手法(本文)
• 著者・編者: 加藤, 淳
• 著者標目: 加藤, 淳
• 出版事項: 慶應義塾大学大学院システムデザイン・マネジメント研究科
• 出版年月日等: 2014-03-23
• 出版年（W3CDTF）: 2014-03-23
• 並列タイトル等: レンケイ ブブン ニ チャクモクシタ ブンカツ トウチホウ オヨビ アンゼンセイ プロパティ ドウシュツ ルール オ モチイタ フクザツナ クミコミ システム ニ タイスル モデル ケンサ テキヨウ シュホウ (ホンブン); 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
• 授与機関名: 慶應義塾大学
• 授与年月日: 2014-03-23
• 授与年月日（W3CDTF）: 2014-03-23
• 報告番号: 甲第4009号
• 学位: 博士(システムエンジニアリング学)
• 博論授与番号: 甲第4009号
• 本文の言語コード: jpn
• 対象利用者: 一般
• 一般注記: type:text
• 国立国会図書館永続的識別子: info:ndljp/pid/8951527; https://dl.ndl.go.jp/pid/8951527
• コレクション（共通）: 障害者向け資料
• コレクション（障害者向け資料：レベル1）: テキストデータ
• コレクション（個別）: 国立国会図書館デジタルコレクション > デジタル化資料 > 博士論文; https://dl.ndl.go.jp/collections/A00014
• 収集根拠: 博士論文（自動収集）
• 公開開始日（W3CDTF）: 2015-03-03
• 受理日（W3CDTF）: 2015-02-03T05:25:05+09:00
• 作成日（W3CDTF）: 2013
• 記録形式（IMT）: application/pdf
• オンライン閲覧公開範囲: 国立国会図書館内限定公開
• デジタル化資料送信: 図書館・個人送信対象外
• 遠隔複写可否（NDL）: 可
• 掲載誌（URI）: https://koara.lib.keio.ac.jp/xoonips/modules/xoonips/detail.php?koara_id=KO40002002-20134009-0003
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館デジタルコレクション; https://dl.ndl.go.jp

目次

2019-12-04 再収集

2023-03-07 再収集

2023-12-08 再収集

2024-01-19 再収集