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
märksõna
juhtimissüsteemid
kontseptuaalne modelleerimine
formaalsed meetodid (informaatika)
keel
inglise