Metric proposal for system testing models verification for safety critical systems.

Luks Spendla, Pavol Tanuska, Lukas Smolarik

Browse the full SISY paper archive.