Model checking in pattern based control systems design

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
leheküljed
p. 112
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.