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.

Automated Conformance Verification of Hybrid Systems

Harald Brandl, Martin Weiglhofer, Bernhard K. Aichernig. Automated Conformance Verification of Hybrid Systems. In Ji Wang, W. K. Chan, Fei-Ching Kuo, editors, Proceedings of the 10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 14-15 July 2010. pages 3-12, IEEE Computer Society, 2010. [doi]

Authors

Harald Brandl

This author has not been identified. Look up 'Harald Brandl' in Google

Martin Weiglhofer

This author has not been identified. Look up 'Martin Weiglhofer' in Google

Bernhard K. Aichernig

This author has not been identified. Look up 'Bernhard K. Aichernig' in Google
runs on