Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova. Simulated Time for Testing Railway Interlockings with TTCN-3. In Wolfgang Grieskamp, Carsten Weise, editors, Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers. Volume 3997 of Lecture Notes in Computer Science, pages 1-15, Springer, 2005. [doi]
@inproceedings{BlomIPRS05,
title = {Simulated Time for Testing Railway Interlockings with TTCN-3},
author = {Stefan Blom and Natalia Ioustinova and Jaco van de Pol and Axel Rennoch and Natalia Sidorova},
year = {2005},
doi = {10.1007/11759744_1},
url = {http://dx.doi.org/10.1007/11759744_1},
tags = {testing},
researchr = {https://researchr.org/publication/BlomIPRS05},
cites = {0},
citedby = {0},
pages = {1-15},
booktitle = {Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers},
editor = {Wolfgang Grieskamp and Carsten Weise},
volume = {3997},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-34454-3},
}