Original language | English |
---|---|
Title of host publication | Proc. of the Third IEEE International Symposium on Requirements Engineering (RE '97) |
Place of Publication | Annapolis, Maryland (USA) |
Pages | 171-183 |
Publication status | Published - 1997 |
On the Use of a Formal RE Language - The Generalized Railroad Crossing Problem
Philippe Du Bois, Eric Dubois, Jean-Marc Zeippen
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution