デジタルデータあり(大阪大学学術情報庫 桜華)
すぐに読む
学術機関リポジトリデータベース(IRDB)(機関リポジトリ)
書店で探す
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 博士論文
- タイトルよみ
- デンワ ツウシン システム オヨビ ジョウホウ カデン システム 二 オケル キョウゴウ モンダイ 二 タイスル モデル ケンサ ヲ モチイタ ケンショウ
- 著者・編者
- 松尾, 尚文
- 著者標目
- 松尾, 尚文 マツオ, タカフミ
- 並列タイトル等
- Feature Interaction Verification of Telecommunication Services and Home Network Services Using Model Checking
- 授与機関名
- OU
- 授与年月日
- 2009-03-24
- 報告番号
- 甲第13545号
- 学位
- 博士(情報科学)