[本/雑誌]/UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座)/大須賀昭彦/監修 長谷川哲夫/著 田原康之/
4,180
大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著/UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座)、メディア：BOOK、発売日：2012/09、重量：540g、商品コード：NEOBK-1357850、JANコード/ISBNコード：9784764904316
※ご注文前に以下必ずご確認ください※
※メール便不可商品
※書籍商品の購入に関するご注意※
※メール便不可商品
※書籍商品の購入に関するご注意※
| 関連人物・出版社 |
| 長谷川哲夫 |
| 発売日 |
| 2012/09 |
| 商品説明 |
| 実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。 |
| 収録内容 |
|