Combining conceptual modelling and formal methods to design control systems
author
Vain, Jüri
Hooman, J.
statement of authorship
J. Vain, J. Hooman
source
Selected papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 1997
location of publication
[S.l.]
year of publication
1997
pages
p. 109-118
language
inglise