The Community for Technology Leaders
Fault-Tolerant Computing, International Symposium on (1998)
Munich, Germany
June 23, 1998 to June 25, 1998
ISSN: 0731-3071
ISBN: 0-8186-8470-4
pp: 458
INDEX TERMS
CITATION

V. Hartonas-Garmhausen, F. Giunchiglia, E. Clarke, A. Cimatti and S. Campos, "Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints," Fault-Tolerant Computing, International Symposium on(FTCS), Munich, Germany, 1998, pp. 458.
doi:10.1109/FTCS.1998.689498
97 ms
(Ver 3.3 (11022016))