Model checking in pattern based control systems design [Electronic resource]
author
Vain, Jüri
Ernits, Juhan-Peep
statement of authorship
Jüri Vain and Juhan Ernits
source
Proceedings of the 15th IFAC World Congress : Barcelona, Spain, 2002
location of publication
[S.l.]
publisher
International Federation of Automatic Control
year of publication
2002
pages
[6] p. : ill. [CD-ROM]
series
World Congress ; Volume 15, Part 1
conference name, date
15th Triennial World Congress of the International Federation of Automatic Control, 21-26 July, 2002
conference location
Barcelona, Spain
url
https://www.sciencedirect.com/science/article/pii/S1474667015393666#cekeyws10
subject term
modelleerimine (teadus)
automaatkontroll
juhtimissüsteemid
keyword
modeling
pattern
components
verification
timed automata
ISBN
978-3-902661-74-6
notes
Bibliogr. p. [6]
language
inglise