Jens R. Calame, Nicolae Goga, Natalia Ioustinova, Jaco van de Pol. TTCN-3 Testing of Hoorn-Kersenboogerd Railway Interlocking. In Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2007, May 7, 10, 2006, Ottawa Congress Centre, Ottawa, Canada. pages 620-623, IEEE, 2006. [doi]
Abstract is missing.