On the use of a formal requirements engineering language: The Generalized Railroad Crossing Problem

Cite this paper

@article{Bois1997OnTU, title={On the use of a formal requirements engineering language: The Generalized Railroad Crossing Problem}, author={Philippe Du Bois and Eric Dubois and Jean-Marc Zeippen}, journal={Requirements Engineering}, year={1997}, volume={2}, pages={171-183} }