論文

査読有り

2021年11月10日

Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: a Gas Turbine Case Study.

24th International Symposium on Formal Methods

Sota Sato
Atsuyoshi Saimen
Masaki Waga
Kenji Takao
Ichiro Hasuo

開始ページ: 313
終了ページ: 329
記述言語: 英語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1007/978-3-030-90870-6_17

リンク情報

DOI: https://doi.org/10.1007/978-3-030-90870-6_17
DBLP: https://dblp.uni-trier.de/rec/conf/fm/SatoSWTH21
共同研究・競争的資金等の研究課題: 近似的数理モデルによる CPS の動的安全機構
URL: https://link.springer.com/content/pdf/10.1007/978-3-030-90870-6_17

ID情報

DOI : 10.1007/978-3-030-90870-6_17
ISSN : 0302-9743
eISSN : 1611-3349
ISBN : 9783030908690
ISBN : 9783030908706
DBLP ID : conf/fm/SatoSWTH21

エクスポート: BibTeX RIS

論文リストへ