Model checking in pattern based control systems design

Vain, J.; Ernits, J. (2002). Model checking in pattern based control systems design. Preprints of the 15th Triennial World Congress of the International Federation of Automatic Control: 21-26 July 2002, Barcelona, Spain. Challenges of a new Millennium. Ed. Camacho,E.F.; Basanez,L.; de la Puente,J.A. Oxford: Pergamon, 1−6.
publitseeritud konverentsiettekanne
Vain, J.; Ernits, J.
  • Inglise
Preprints of the 15th Triennial World Congress of the International Federation of Automatic Control
Camacho,E.F.; Basanez,L.; de la Puente,J.A.
21-26 July 2002, Barcelona, Spain. Challenges of a new Millennium
Oxford
Pergamon
2002
16
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Lisainfo

Preprints CD-ROM
components, modeling, pattern, timed automata, verification