External Links

Cite Key

Statistics

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

PDF

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.

Design Principles for an Extendable Verification Tool for Hybrid Systems

Goran Frehse, Rajarshi Ray 0001. Design Principles for an Extendable Verification Tool for Hybrid Systems. In Alessandro Giua, Cristian Mahulea, Manuel Silva 0001, Janan Zaytoon, editors, 3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009. Volume 42 of IFAC Proceedings Volumes, pages 244-249, Elsevier, 2009. [doi]

Authors

Goran Frehse

This author has not been identified. Look up 'Goran Frehse' in Google

Rajarshi Ray 0001

This author has not been identified. Look up 'Rajarshi Ray 0001' in Google
runs on