| Original language | English |
|---|---|
| Title of host publication | Proc. of the Real-Time Systems Conference (RTS '95) |
| Place of Publication | PAris (France) |
| Publication status | Published - 1995 |
A Formal Requirements Engineering Method for Real-Time, Concurrent, and Distributed Systems
Eric Dubois, Philippe Du Bois, Jean-Marc Zeippen
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution