博士論文

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

博士論文を表すアイコン
表紙は所蔵館によって異なることがあります ヘルプページへのリンク

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

国立国会図書館永続的識別子
info:ndljp/pid/8951527
資料種別
博士論文
著者
加藤, 淳
出版者
慶應義塾大学大学院システムデザイン・マネジメント研究科
出版年
2014-03-23
資料形態
デジタル
ページ数・大きさ等
-
授与大学名・学位
慶應義塾大学,博士(システムエンジニアリング学)
すべて見る

国立国会図書館での利用に関する注記

本資料は、掲載誌(URI)等のリンク先にある学位授与機関のWebサイトやCiNii Dissertations外部サイトから、本文を自由に閲覧できる場合があります。

資料に関する注記

一般注記:

type:text

書店で探す

障害者向け資料で読む

目次

  • 2019-12-04 再収集

  • 2023-03-07 再収集

  • 2023-12-08 再収集

  • 2024-01-19 再収集

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

デジタル

資料種別
博士論文
著者・編者
加藤, 淳
著者標目
出版年月日等
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