Aneta Vulgarakis, Cristina Cerschi Seceleanu, Paul Pettersson, Ivan Skuliber, Darko Huljenic. Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. In Manuel Núñez, Robert M. Hierons, Mercedes G. Merayo, editors, Proceedings of the 11th International Conference on Quality Software, QSIC 2011, Madrid, Spain, July 13-14, 2011. pages 156-165, IEEE Computer Society, 2011. [doi]
Abstract is missing.