Formal specification in the development of industrial applications: Subway speed control system.

Clara DaSilva, Babak Dehbonei, Fernando Mejia

Browse the full FORTE paper archive.