An Automated Safety Verification System for Railway Interlocking Based on Extended Vector Annotated Logic Programming
Computational intelligence for modelling, control & automation; CIMCA 2001 ; 2001 ; Las Vegas, NV
2001-01-01
11 pages
HELD ON CD-ROM
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Verification of a safety-critical railway interlocking system with real-time constraints
Tema Archive | 1998
|IEEE | 1995
|