Comparing Three Notations for Defining Scenario-Based Model Tests: A Controlled Experiment.

Bernhard Hoisl, Stefan Sobernig, Mark Strembeck

Browse the full QUATIC paper archive.