Specification of a Control System by Domain Specialists with OBLOG - Experience Report -

TitleSpecification of a Control System by Domain Specialists with OBLOG - Experience Report -
Publication TypeConference Proceedings
Year of Conference1994
AuthorsZeippen, J. - M., and P. Hartel
Conference NameProc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL)
Pagination137-146
PublisherUniv. of Twente, Technical Report
Abstract

no

Publicno