"Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance ..."

Boutheina Bannour et al. (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics