, ,
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. Proceedings of the IEEE Canadian Conference Onf Electrical and Computer Engineering, 620–623.