Wilkerson L. Andrade, Patricia D. L. Machado, Thierry Jéron, Hervé Marchand. Abstracting Time and Data for Conformance Testing of Real-Time Systems.
7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany.
⟨hal-00646089⟩