Model checking in pattern based control systems design [Electronic resource]
autor
vastutusandmed
Jüri Vain and Juhan Ernits
ilmumiskoht
[S.l.]
kirjastus/väljaandja
ilmumisaasta
leheküljed
[6] p. : ill. [CD-ROM]
seeria-sari
konverentsi nimetus, aeg
15th Triennial World Congress of the International Federation of Automatic Control, 21-26 July, 2002
konverentsi toimumispaik
Barcelona, Spain
võtmesõna
ISBN
978-3-902661-74-6
märkused
Bibliogr. p. [6]
keel
inglise
Vain, J., Ernits, J.-P. Model checking in pattern based control systems design [Electronic resource] // Proceedings of the 15th IFAC World Congress : Barcelona, Spain, 2002. [S.l.] : International Federation of Automatic Control, 2002. [6] p. : ill. [CD-ROM]. (World Congress ; Volume 15, Part 1).