Combining conceptual modelling and formal methods to design control systems
autor
vastutusandmed
J. Vain, J. Hooman
allikas
ilmumiskoht
[S.l.]
ilmumisaasta
leheküljed
p. 109-118
keel
inglise
märksõna
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.