Additional Metadata
Publisher Springer
Editor W. Grieskamp , C. Weise
Series Lecture Notes in Computational Science and Engineering
Conference International Workshop on Formal Approaches to Software Testing
Blom, S.C.C, Ioustinova, N, van de Pol, J.C, Rennoch, A, & Sidorova, N. (2006). Simulated Time for Testing Railway Interlockings with TTCN-3. In W Grieskamp & C Weise (Eds.), LNCS (pp. 1–15). Springer.