JavaScriptが無効になっています。すべての機能を利用するにはJavaScriptの設定を有効にしてください。
JavaScriptの設定を変更する方法はこちら。
初めての方へ
続刊
クーポン
本棚
カゴ
本位田真一/大須賀昭彦/長谷川哲夫/田原康之/磯部祥尚
UPPAALは,モデル検査ツールとしては比較的利用が容易ではあるが,実際の開発には多くのハードルがある.本書では,そのようなハードルを乗り越えるために必要な,UPPAALツール,時間オートマトン,検証したい性質を記述するための時間時相論理に関する知識,および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など,具体的事例も交えてノウハウを解説している.
この作品をシェアする
クーポン利用で【70%OFF】2,180円(税込)で購入できる! 6回利用可能
値引き額上限に達しています。
2024/07/31 23:59 まで有効