Model checking in pattern based control systems design [Electronic resource]
author
statement of authorship
Jüri Vain and Juhan Ernits
location of publication
[S.l.]
year of publication
pages
[6] p. : ill. [CD-ROM]
conference name, date
15th Triennial World Congress of the International Federation of Automatic Control, 21-26 July, 2002
conference location
Barcelona, Spain
ISBN
978-3-902661-74-6
notes
Bibliogr. p. [6]
language
inglise
subject term
keyword
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).