Validation of Interlocking Systems by Testing their Models.

Andrea Bonacchi, Alessandro Fantechi

Browse the full QUATIC paper archive.