External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Modeling and Verification of Hybrid Systems Based on Equations

Kazuhiro Ogata, Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi. Modeling and Verification of Hybrid Systems Based on Equations. In Bernd Kleinjohann, Guang R. Gao, Hermann Kopetz, Lisa Kleinjohann, Achim Rettberg, editors, Design Methods and Applications for Distributed Embedded Systems, IFIP 18th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France. pages 43-52, Kluwer, 2004.

Abstract

Abstract is missing.

runs on