Formal specification in the development of industrial applications: Subway speed control system
Authors:
Clara DaSilva;Babak Dehbonei;Fernando Mejia
Affiliations:
-;-;-
Venue:
FORTE '92 Proceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, V