.gif)
] Filters: Author is Zeippen, J.-M. [Clear All Filters]
"Specification of a Control System by Domain Specialists with OBLOG - Experience Report -",
Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 137-146, 1994.
Abstract