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
leitav
https://www.sciencedirect.com/science/article/pii/S1474667015393666#cekeyws10
märksõna
modelleerimine (teadus)
automaatkontroll
juhtimissüsteemid
võtmesõna
modeling
pattern
components
verification
timed automata
ISBN
978-3-902661-74-6
märkused
Bibliogr. p. [6]
keel
inglise