prindi

Model checking in pattern based control systems design [Electronic resource]

autor
Vain, Jüri
Ernits, Juhan-Peep
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
märksõna
modelleerimine (teadus)
automaatkontroll
võtmesõna
modeling
pattern
components
verification
timed automata
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).