Modelling and Verification of Interlocking Systems for Railway Lines



TypeConference paper [With referee]
ConferenceProceedings of the 10th IFAC Symposium on Control in Transportation Systems
Year2003
PublisherElsevier Science Ltd, Oxford
ISBN / ISSNISBN 0-08-044059-2
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering