Lukas Spendla, Pavol Tanuska, Lukas Smolarik. Metric proposal for system testing models verification for safety critical systems. In IEEE 11th International Symposium on Intelligent Systems and Informatics, SISY 2013, Subotica, Serbia, September 26-28, 2013. pages 87-92, IEEE, 2013. [doi]
Abstract is missing.