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