Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems

• Authors:

• Bettina Buth;Mike Schrönen

• Affiliations:

• -;-

• Venue:
• FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
• Year:
• 1999