Combining conceptual modelling and formal methods to design control systems
Vain, Jüri
;
Hooman, J.
Selected papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 1997
1997
/
p. 109-118