TalTech publikatsioonid
pealdis Vain, J., Ernits, J.-P.
maakood es
keel inglise
autor Vain, Jüri
Ernits, Juhan-Peep
pealkiri Model checking in pattern based control systems design [Electronic resource]
vastutusandmed Jüri Vain and Juhan Ernits
allikas Proceedings of the 15th IFAC World Congress : Barcelona, Spain, 2002
ilmumiskoht [S.l.]
kirjastus/väljaandja International Federation of Automatic Control
ilmumisaasta 2002
leheküljed [6] p. : ill. [CD-ROM]
seeria-sari World Congress ; Volume 15, Part 1
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 modeling
pattern
components
verification
timed automata
ISBN 978-3-902661-74-6
märkused Bibliogr. p. [6]