.gif)
Specification of a Control System by Domain Specialists with OBLOG - Experience Report -
| Title | Specification of a Control System by Domain Specialists with OBLOG - Experience Report - |
| Publication Type | Conference Proceedings |
| Year of Conference | 1994 |
| Authors | Zeippen, J. - M., and P. Hartel |
| Conference Name | Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL) |
| Pagination | 137-146 |
| Publisher | Univ. of Twente, Technical Report |
| Abstract | no |
| Public | no |