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 |