An object-oriented formal specification of a configuration language for railway interlockings

  • Authors:

  • Cydney Minkowitz;James Atkiss

  • Affiliations:

  • ALSTOM Signalling Ltd., Manchester, United Kingdom;ALSTOM Signalling Ltd., Manchester, United Kingdom

  • Venue:
  • 3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
  • Year:
  • 1998

Quantified Score

Hi-index 0.00

Visualization

Abstract