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

@inproceedings{DaSilva1992FormalSI,
  title={Formal specification in the development of industrial applications: Subway speed control system},
  author={Clara DaSilva and Babak Dehbonei and Fernando Mejia},
  booktitle={FORTE},
  year={1992}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…