| Original language | French |
|---|---|
| Title of host publication | Proc. of the CAiSE '94 Workshop on Formal Methods for Information Systems Dynamics |
| Place of Publication | Utrecht (The Netherlands) |
| Pages | 137-146 |
| Publication status | Published - 1994 |
Specification of a Control System by Domain Specialists with OBLOG
Jean-Marc Zeippen, Peter Hartel
Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution