An algorithmic approach to the verification of a railway interlocking table
International conference; 5th, Vol 1; Railway systems and management ; 1996 ; Berlin
1996-01-01
10 pages
Also known as COMPRAIL 96
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verification of Railway Interlocking - Compositional Approach with OCRA
British Library Conference Proceedings | 2016
|