資料詳細

[ 和図書 ] UPPAALによる性能モデル検証リアルタイムシステムのモデル化とその検証 ( トップエスイー実践講座 5 )

大須賀昭彦／監修 -- 近代科学社 -- 2012.9 --

所蔵

所蔵は 1 件です。

所蔵館	所蔵場所	資料区分	請求記号	資料コード	所蔵状態	資料の利用
配架日	協力貸出	利用状況	返却予定日	資料取扱	予約数	付録注記	備考
中央	書庫	一般図書	/007.6/7985/2012	7101056178		Digital BookShelf
2012/10/19	可能	利用可			0

Eメールによる郵送複写申込みは、「東京都在住」の登録利用者の方が対象です。

ページの先頭へ

資料詳細

ISBN	4-7649-0431-6
ISBN13桁	978-4-7649-0431-6
タイトル	UPPAALによる性能モデル検証
タイトルカナ	ウパールニヨルセイノウモデルケンショウ
タイトル関連情報	リアルタイムシステムのモデル化とその検証
タイトル関連情報読み	リアルタイムシステムノモデルカトソノケンショウ
著者名	大須賀昭彦／監修, 長谷川哲夫／著, 田原康之／著, 磯部祥尚／著
著者名典拠番号	110002999990000 , 110006273360000 , 110005075050000 , 110004548830000
出版地	東京
出版者	近代科学社
出版者カナ	キンダイカガクシャ
出版年	2012.9
ページ数	17, 183p
大きさ	24cm
シリーズ名	トップエスイー実践講座
シリーズ名のルビ等	トップエスイージッセンコウザ
シリーズ番号	5
シリーズ番号読み	5
シリーズの編者等	本位田真一／シリーズ監修
シリーズの編者等の典拠番号	110001351720000
価格	¥3800
内容紹介	実時間システム開発向けモデル検査ツール「UPPAAL」のテキスト。UPPAALツールをはじめ、時間オートマトン、時間時相論理に関する知識、UML設計仕様のUPPAALによるモデル化方法などを解説する。
書誌・年譜・年表	文献:p163～167
一般件名	ソフトウェア-品質管理-ndlsh-00963619
一般件名カナ	ソフトウェア-ヒンシツカンリ-00963619
一般件名	ソフトウェア工学
一般件名カナ	ソフトウェアコウガク
一般件名典拠番号	511743600000000
分類：都立NDC10版	007.63
資料情報1	『UPPAALによる性能モデル検証リアルタイムシステムのモデル化とその検証』（トップエスイー実践講座 5）　大須賀昭彦／監修, 長谷川哲夫／著 , 田原康之／著　近代科学社　2012.9（所蔵館：中央　請求記号：/007.6/7985/2012　資料コード：7101056178）
URL	https://catalog.library.metro.tokyo.lg.jp/winj/opac/switch-detail.do?lang=ja&bibid=1152150540

ページの先頭へ