Handling industrial hazards by pre-emptive model checking

Kuusik, A.; Otto, T.; Vain, J. (2003). Handling industrial hazards by pre-emptive model checking. 4th International Conference on Industrial Automation, Montréal (Canada), June 9-11 2003, proceedings. [1−4].
publitseeritud konverentsiettekanne
Kuusik, A.; Otto, T.; Vain, J.
  • Inglise
4th International Conference on Industrial Automation, Montréal (Canada), June 9-11 2003, proceedings
2-9802946-3-2
2003
[14]
Ilmunud
3.4. Artiklid/ettekanded, mis on avaldatud valdkonda 3.1. mittekuuluvates konverentsikogumikes

Viited terviktekstile

Lisainfo

expert system, model matching, process control, safety critical control system