Model checking in pattern based control systems design
author
Vain, Jüri
Ernits, Juhan-Peep
statement of authorship
Juri Vain, Juhan Ernits
source
15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts
location of publication
Barcelona
year of publication
2002
pages
p. 112
url
https://www.sciencedirect.com/science/article/pii/S1474667015393666
subject term
modelleerimine (teadus)
automaatkontroll
juhtimissüsteemid
language
inglise