Vukota Pekovic, Vladimir Zlokolica, Jan Zloh, Mihajlo Katona, Nikola Teslic. Automated system for testing and verification of control access kernel functionality in set-top boxes. In IEEE International Conference on Consumer Electronics, ICCE 2012, Las Vegas, NV, USA, January 13-16, 2012. pages 25-26, IEEE, 2012. [doi]
Abstract is missing.