本文に飛ぶ
博士論文

Feature interaction verification of telecommunication services and home network services using model checking

博士論文を表すアイコン

Feature interaction verification of telecommunication services and home network services using model checking

国立国会図書館請求記号
UT51-2009-C483
国立国会図書館書誌ID
000010261027
資料種別
博士論文
著者
Takafumi Matsuo [著]
出版者
[Takafumi Matsuo]
出版年
[2009]
資料形態
ページ数・大きさ等
1冊
授与大学名・学位
大阪大学,博士 (情報科学)
すべて見る

資料に関する注記

一般注記:

博士論文

書店で探す

書誌情報

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

資料種別
博士論文
著者・編者
Takafumi Matsuo [著]
著者標目
松尾, 尚文 マツオ, タカフミ
出版事項
出版年月日等
[2009]
出版年(W3CDTF)
2009
数量
1冊
並列タイトル等
電話通信システムおよび情報家電システムにおける競合問題に対するモデル検査を用いた検証 デンワ ツウシン システム オヨビ ジョウホウ カデン システム ニ オケル キョウゴウ モンダイ ニ タイスル モデル ケンサ オ モチイタ ケンショウ
授与機関名
大阪大学