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
01.01.2001
11 pages
HELD ON CD-ROM
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
IEEE | 1995
|