prindi

Combining conceptual modelling and formal methods to design control systems

autor
Vain, Jüri
Hooman, J.
vastutusandmed
J. Vain, J. Hooman
allikas
Selected papers from the 8th Nordic Workshop on Programming Theory, University of Oslo, May, 1997
ilmumiskoht
[S.l.]
ilmumisaasta
1997
leheküljed
p. 109-118
keel
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.