Model checking in pattern based control systems design

Vain, J.; Ernits, J. (2003). Model checking in pattern based control systems design. Proceedings of the 15th IFAC World Congress : International Federation of Automatic Control, 21-26 July 2002, Barcelona, Spain. Vol. L. Computers for Control. Ed. Camacho, E.F.; Basanez, L.; de la Puente, J.A. [Amsterdam]: Pergamon, 237−242. (IFAC Proceedings Volumes; 35-1).10.3182/20020721-6-ES-1901.00945.
publitseeritud konverentsiettekanne
Vain, J.; Ernits, J.
  • Inglise
Proceedings of the 15th IFAC World Congress : International Federation of Automatic Control, 21-26 July 2002, Barcelona, Spain. Vol. L. Computers for Control
Camacho, E.F.; Basanez, L.; de la Puente, J.A.
[Amsterdam]
Pergamon
0-08-044227-7
IFAC Proceedings Volumes
35-1
2003
237242
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

doi.org/10.3182/20020721-6-ES-1901.00945

Lisainfo

components, modeling, pattern, timed automata, verification
IFAC-PapersOnLine.net; Scopus