Testing Real-Time Systems Using TINA

Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mustapha Rahmouni. Testing Real-Time Systems Using TINA. In Manuel Núñez, Paul Baker, Mercedes G. Merayo, editors, Testing of Software and Communication Systems, 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings. Volume 5826 of Lecture Notes in Computer Science, pages 1-15, Springer, 2009. [doi]

Abstract

Abstract is missing.