J-WAVE CD&BOOK ON LINE
UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証 (トップエスイー実践講座)
大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著

商品説明
実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。
出荷: メーカー在庫見込あり:1-3週間


詳細ページ
著者・出版社
ジャケット画像
目次

商品検索
ヘルプ

TOP

J-WAVE CD&BOOK ONLINE
powerd by Neowing