Model checking in pattern based control systems design

Vain, J.; Ernits, J. (2002). Model checking in pattern based control systems design. 15th Triennial World Congress of the International Federation of Automatic Control : Final Program. Book of Abstracts. Barcelona: IFAC, 112.
publitseeritud konverentsiettekanne
Vain, J.; Ernits, J.
  • Inglise
15th Triennial World Congress of the International Federation of Automatic Control : Final Program. Book of Abstracts
Barcelona
IFAC
2002
112
Ilmunud
5.2. Konverentsiteesid, mis ei kuulu valdkonda 5.1

Viited terviktekstile

Lisainfo