226 followers
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. - Andrea Bonacchi 0001, Alessandro… http://t.co/WlYoeFs8sp
Validation of Railway Interlocking Systems by Formal Verification, A Case Study. - Andrea Bonacchi 0001, Alessandro… http://t.co/WlYoeFs8sp