UPPAALによる性能モデル検証 : リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座 ; 5)
UPPAALによる性能モデル検証 = Performance Model Verification by UPPAAL : リアルタイムシステムのモデル化とその検証
(トップエスイー実践講座 ; 5)
- 国立国会図書館請求記号
- M159-J1720
- 国立国会図書館書誌ID
- 023938969
資料詳細
要約等：
- いま大注目のリアルタイムソフト向けモデル検査ツール「UPPAAL」が分かる！ 使える！（提供元: 出版情報登録センター（JPRO））
著者紹介：
- 大須賀 昭彦 大須賀 昭彦：電気通信大学 教授長谷川 哲夫 長谷川 哲夫：東芝田原 康之 田原 康之：電気通信大学 准教授...
書店で探す
目次
第1章 UPPAALを使ってみよう 第2章 UPPAALのシステムモデルと検証式 第3章 検証プロセス 第4章 ケーススタディ(1)オートクラッチ車ギア制御 第5章 ケーススタディ(2)オーディオデータ通信プロトコル 第6章 ソフトウェア設計とモデル検査 第8章 おわりに 付録 演習問題の解答例
全国の図書館の所蔵
国立国会図書館以外の全国の図書館の所蔵状況を表示します。
所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください
関東
東京都立中央図書館
紙- 請求記号：
- 007.6-7985-2012
- 図書登録番号：
- 7101056178
横浜市立図書館
紙- 請求記号：
- 007.615010
- 図書登録番号：
- 2049791677
東海・北陸
名古屋市図書館
紙- 請求記号：
- 00763//B1
- 図書登録番号：
- 0236077632
近畿
大阪府立中央図書館
紙- 請求記号：
- 007.6/6026N/
- 図書登録番号：
- 1210577175
大阪市立図書館
紙- 図書登録番号：
- 0012597009
書店で探す
出版書誌データベース 
から購入できる書店を探す
『Books』は各出版社から提供された情報による出版業界のデータベースです。 現在入手可能な紙の本と電子書籍を検索することができます。
別の方法で探す
書誌情報
この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。
- 資料種別
- 図書
- ISBN
- 978-4-7649-0431-6
- タイトルよみ
- ウパール ニ ヨル セイノウ モデル ケンショウ
- 著者・編者
- 大須賀昭彦 監修長谷川哲夫, 田原康之, 磯部祥尚 著
- シリーズタイトル
- シリーズ著者・編者
- 本位田真一 シリーズ監修
- 著者標目
- 大須賀, 昭彦, 1958- オオスガ, アキヒコ, 1958- ( 00681425 )典拠本位田, 真一, 1953- ホンイデン, シンイチ, 1953- ( 00192997 )典拠
- 出版事項
- 出版年月日等
- 2012.9