Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design

• Authors:

• Giovanni Dipoppa;G. D'Alessandro;R. Semprini;Enrico Tronci

• Affiliations:

• -;-;-;-

• Venue:
• HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
• Year:
• 2001