Loading... loading....
Cheaper price than regular books. Find here reasons to use CDJapan eBooks!

UPPAAL Niyoru Seino Model Kensho

UPPAALによる性能モデル検証 - 本位田真一/監修 大須賀昭彦/監修 長谷川哲夫/著 田原康之/著 磯部祥尚/著

UPPAAL Niyoru Seino Model Kensho
eBooks Edition
If you want to read eBooks on PC, click here.
Viewer Type viewer_image Neowing eBook Reader
Price 4180 yen
Points You Earn 41 points (1%)
Compatible Devices
Pages
    207
Release Date Feb 14, 2020(JST)

Description in Japanese

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

UPPAALは,モデル検査ツールとしては比較的利用が容易ではあるが,実際の開発には多くのハードルがある.本書では,そのようなハードルを乗り越えるために必要な,UPPAALツール,時間オートマトン,検証したい性質を記述するための時間時相論理に関する知識,および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など,具体的事例も交えてノウハウを解説している.

Translate Description

*As it is a machine translation, the result may not provide an accurate description. Please use it only as a reference. *Not available within the China mainland region.

Browse similar eBooks