Andrea Bonacchi, Alessandro Fantechi. Validation of Interlocking Systems by Testing their Models. In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014. pages 226-229, IEEE, 2014. [doi]
Abstract is missing.