Formal Approach to Synthesis of a Test Controller - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Richard Ruzicka, Pavel Tupec. Formal Approach to Synthesis of a Test Controller. In 11th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2004), 24-27 May 2004, Brno, Czech Republic. pages 348-355, IEEE Computer Society, 2004. [doi]

This author has not been identified. Look up 'Richard Ruzicka' in GoogleThis author has not been identified. Look up 'Pavel Tupec' in Google

runs on WebDSL