Automated Conformance Verification of Hybrid Systems

H. Brandl, M. Weiglhofer, and B. K. Aichernig

Abstract:

Reference: H. Brandl, M. Weiglhofer, and B. K. Aichernig. Automated conformance verification of hybrid systems. In QSIC '10: Proceedings of the 2010 10^th International Conference on Quality Software, pages 3-12, Washington, DC, USA, 2010. IEEE Computer Society.