226 followers
On the Validation of an Interlocking System by Model-Checking. - Andrea Bonacchi 0001, Alessandro Fantechi http://t.co/utOQbnHC0y
On the Validation of an Interlocking System by Model-Checking. - Andrea Bonacchi 0001, Alessandro Fantechi http://t.co/utOQbnHC0y