title
Compositional specification of control systems software
author
Hooman, J.
Vain, J.
description
Research Report Control 59/94
publishing year
1994
identifier
https://digi.lib.ttu.ee/i/?11700
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