試験公開中

UPPAALによる性能モデル検証：リアルタイムシステムのモデル化とその検証（トップエスイー実践講座5）
ギフトで購入
このエントリーをはてなブックマークに追加

UPPAALによる性能モデル検証：リアルタイムシステムのモデル化とその検証（トップエスイー実践講座5）

近代科学社

4,180円 (3,800円+税)

UPPAALツール，時間オートマトン，検証したい性質を記述するための時間時相論理に関する知識，および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など，具体的事例も交えてノウハウを解説する．

【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。

ページサンプル閲覧

以下はPDF版の先頭ページなどから、一部を抜粋して縮小した画像です。
（※EPUB版を提供している書籍の場合、基本的に内容は同じですが、見映えは異なります。 またお使いのEPUBリーダによっても見え方は大きく異なることがあります。）

Home 〉 書籍一覧 〉 UPPAALによる性能モデル検証：リアルタイムシステムのモデル化とその検証（トップエスイー実践講座5） ▲ ページトップへ戻る