Model checking in pattern based control systems design
author
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
pages
p. 112
subject term
language
inglise
Vain, J., Ernits, J.-P. Model checking in pattern based control systems design // 15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts. Barcelona, 2002. p. 112. https://www.sciencedirect.com/science/article/pii/S1474667015393666