Vladimir Zlokolica, Nebojsa Milutinovic, Vladimir Marinkovic, Vukota Pekovic, Jan Zloh. Automatic Set-Top Box Menu Navigation Scheme for STB Menu Functional Verification. In Miroslav Popovic, Bernhard Schätz, Sebastian Voss, editors, IEEE 19th International Conference and Workshops on Engineering of Computer-Based Systems, ECBS 2012, Novi Sad, Serbia, April 11-13, 2012. pages 60-63, IEEE, 2012. [doi]
Abstract is missing.