Handling industrial hazards by pre-emptive model checking [Electronic resource]
autor
Kuusik, Alar
Otto, Tauno
Vain, Jüri
vastutusandmed
Alar Kuusik, Tauno Otto, Jüri Vain
allikas
4th International Conference on Industrial Automation : June 9-11, 2003, Montreal, Canada : proceedings
ilmumiskoht
[S.l.]
ilmumisaasta
2003
leheküljed
[4] p. : ill. [CD-ROM]
konverentsi nimetus, aeg
4th International Conference on Industrial Automation, June 9-11, 2003
konverentsi toimumispaik
Montreal, Canada
leitav
https://www.academia.edu/17640340/Handling_Industrial_Hazards_by_Pre_emptive_Model_Checking
märksõna
ohutus
juhtimissüsteemid
protsessijuhtimine
ekspertsüsteemid
ISBN
2-9802846-3-2
märkused
Bibliogr.: 7 ref
keel
inglise