Formal specification to support advanced model based testing

Frajták, K., Bureš, M., Jelínek, I.

FRAJTÁK, K., M. BUREŠ, and I. JELÍNEK. Formal specification to support advanced model based testing. In: Federated Conference on Computer Science and Information Systems (FedCSIS 2012). Federated Conference on Computer Science and Information Systems, Wroclaw, 2012-09-09/2012-09-12. New York: IEEE, 2012. pp. 1311-1314. ISBN 978-1-4673-0708-6. Available from: http://fedcsis.org/proceedings/fedcsis2012/pliks/90.pdf

URL: http://fedcsis.org/proceedings/fedcsis2012/pliks/90.pdf