通販検索/いつも気楽に

【メール便不可商品】UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証[本/雑誌] (トップエスイー実践講座) (単行本・ムック) / 大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著

ご注文前に必ずご確認ください＜商品説明＞実時間システム開発向けモデル検査ツールの標準UPPAALの日本初の解説書。組込みシステムの仕様や設計のモデリングと、機能や性能に関するモデル検査、開発プロセスの設計のための実用書。＜収録内容＞第1章 UPPAALを使ってみよう第2章 UPPAALのシステムモデルと検証式第3章 検証プロセス第4章 ケーススタディ(1)オートクラッチ車ギア制御第5章 ケーススタディ(2)オーディオデータ通信プロトコル第6章 ソフトウェア設計とモデル検査第7章 おわりに＜アーティスト／キャスト＞長谷川哲夫(演奏者)＜商品詳細＞商品番号：NEOBK-1357850Osuga Akihiko / Kanshu Hasegawa Tetsuo / Cho Tahara Yasuyuki / Cho Isobe Sachi Nao / Cho / UPPAAL Niyoru Seino Model Kensho Realtime System No Model Ka to Sono Kensho (Top SE Jissen Koza)メディア：本/雑誌重量：540g発売日：2012/09JAN：9784764904316UPPAALによる性能モデル検証 リアルタイムシステムのモデル化とその検証[本/雑誌] (トップエスイー実践講座) (単行本・ムック) / 大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著2012/09発売