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
märksõna
modelleerimine (teadus)
automaatkontroll
keel
inglise