, ,
IEEE
Tests and Testing Methodologies with Advanced Languages
IEEE Canadian Conference onf Electrical and Computer Engineering
Specification and Analysis of Embedded Systems

Calamé, J., Goga, N., Ioustinova, N., & van de Pol, J. (2006). TTCN-3 Testing of Hoorn-Keersenboogerd Railway Interlocking. In Proceedings of the IEEE Canadian Conference onf Electrical and Computer Engineering (pp. 620–623). IEEE.