形式的モデル化離散事象/実時間/ハイブリッドシステムのモデル化と解析/平石邦彦

5,060

著:平石邦彦
出版社:森北出版
発売日:2019年01月
キーワード:形式的モデル化離散事象／実時間／ハイブリッドシステムのモデル化と解析平石邦彦けいしきてきもでるかりさんじしようじつじかんはいぶケイシキテキモデルカリサンジシヨウジツジカンハイブひらいしくにひこヒライシクニヒコ

著者名:平石邦彦
出版社名:森北出版

複雑・多様化するシステムの形式検証のために。堅牢なシステム構築のための、システムの数理的なモデル化・解析手法の理論的背景を詳説。

※本データはこの商品が発売された時点の情報です。