Automated Verification of Signalling Principles in Railway...

Automated Verification of Signalling Principles in Railway Interlocking Systems

Karim Kanso, Faron Moller, Anton Setzer
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
250
Year:
2009
Language:
english
Pages:
13
DOI:
10.1016/j.entcs.2009.08.015
File:
PDF, 283 KB
english, 2009
Conversion to is in progress
Conversion to is failed