資料詳細

  • 1 件中、 1 件目

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

平石 邦彦／著

森北出版 2019.1

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 持禁区分 状態
オーテピア高知図書館 3Fビジネス－IT 4Y/007.61/ﾋﾗ/ 1109418861 一般   利用可

ページの先頭へ

館別所蔵

館名 所蔵数 貸出中数 貸出可能数
オーテピア高知図書館 1 0 1

ページの先頭へ

資料詳細

タイトル 形式的モデル化
副書名 離散事象/実時間/ハイブリッドシステムのモデル化と解析
著者 平石 邦彦 ／著  
出版者 森北出版
出版年 2019.1
ページ数 8,229p
大きさ 22cm
一般件名 システム工学
NDC分類(9版) 007.61
内容紹介 離散状態をもつシステム、および離散状態と連続状態を併せもつハイブリッドシステムを形式的にモデル化するための手法を解説。モデルが与えられた仕様を満たしているかどうかを数理的に検証するための方法についても説明する。
ISBN 4-627-85421-5

ページの先頭へ