prindi

Model checking in pattern based control systems design

autor
Vain, Jüri
Ernits, Juhan-Peep
vastutusandmed
Juri Vain, Juhan Ernits
allikas
15th Triennial World Congress of the International Federation of Automatic Control : Barcelona, Spain, 21th-26th July, 2002 : final program, book of abstracts
ilmumiskoht
Barcelona
ilmumisaasta
2002
leheküljed
p. 112
leitav
https://www.sciencedirect.com/science/article/pii/S1474667015393666
märksõna
modelleerimine (teadus)
automaatkontroll
juhtimissüsteemid
keel
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