Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints

• Authors:

• V. Hartonas-Garmhausen;S. Campos;A. Cimatti;E. Clarke;F. Giunchiglia

• Affiliations:

• -;-;-;-;-

• Venue:
• FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
• Year:
• 1998