Conformance Testing of Hybrid Systems with Qualitative Reasoning Models

B. K. Aichernig, H. Brandl, and F. Wotawa

Abstract:

Reference: B. K. Aichernig, H. Brandl, and F. Wotawa. Conformance testing of hybrid systems with qualitative reasoning models. Electron. Notes Theor. Comput. Sci., 253(2):53-69, 2009.