『磯部祥尚(実用)』の電子書籍一覧
1 ~1件目/全1件
-
UPPAALは,モデル検査ツールとしては比較的利用が容易ではあるが,実際の開発には多くのハードルがある.本書では,そのようなハードルを乗り越えるために必要な,UPPAALツール,時間オートマトン,検証したい性質を記述するための時間時相論理に関する知識,および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など,具体的事例も交えてノウハウを解説している.
・キャンペーンの内容や期間は予告なく変更する場合があります。
・コインUP表示がある場合、ご購入時に付与されるキャンペーン分のコインは期間限定コインです。詳しくはこちら
・決済時に商品の合計税抜金額に対して課税するため、作品詳細ページの表示価格と差が生じる場合がございます。