Modeling and Verification of Hybrid Systems Based on Equations

Bibliographic Information

Title
Modeling and Verification of Hybrid Systems Based on Equations
Author
Kazuhiro Ogara, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi

Journal

Related Projects

See more

Details 詳細情報について

  • CRID
    1010000781802278155
  • Article Type
    journal article
  • Data Source
    • KAKEN

Report a problem

Back to top