形式的モデル化:離散事象/実時間/ハイブリッドシステムのモデル化と解析
Saved in:
Main Authors: | |
---|---|
Published: |
森北出版
|
Publisher Address: | 東京 |
Publication Dates: | 2019.1 |
Literature type: | Book |
Language: | Japanese |
Subjects: | |
Carrier Form: | viii, 229p: 図 ; 22cm |
ISBN: | 9784627854215 |
Index Number: | N945 |
CLC: | N945 |
Call Number: | WJN945/1415 |
Contents: |
異なりアクセスタイトル: 形式的モデル化 : 離散事象実時間ハイブリッドシステムのモデル化と解析 参考文献: p[222]-225 索引あり |