Formal specification to support advanced model based testing.

Karel Frajtk, Miroslav Bures, Ivan Jelnek

Browse the full FedCSIS paper archive.