title
Combining conceptual modeling and formal methods to design control systems
author
Hooman, Josef
Vain, Jüri
description
Research Report Control 99/97
publishing year
1997
identifier
http://digi.lib.ttu.ee/i/?11813
language
eng
rights
http://rightsstatements.org/vocab/InC-EDU/1.0/
institution
Eesti Teaduste Akadeemia Küberneetika Instituut
Institute of Cybernetics of the Estonian Academy of Sciences