Handling industrial hazards by pre-emptive model checking [Electronic resource]
author
Kuusik, Alar
Otto, Tauno
Vain, Jüri
statement of authorship
Alar Kuusik, Tauno Otto, Jüri Vain
source
4th International Conference on Industrial Automation : June 9-11, 2003, Montreal, Canada : proceedings
location of publication
[S.l.]
year of publication
2003
pages
[4] p. : ill. [CD-ROM]
conference name, date
4th International Conference on Industrial Automation, June 9-11, 2003
conference location
Montreal, Canada
url
https://www.academia.edu/17640340/Handling_Industrial_Hazards_by_Pre_emptive_Model_Checking
subject term
ohutus
juhtimissüsteemid
protsessijuhtimine
ekspertsüsteemid
ISBN
2-9802846-3-2
notes
Bibliogr.: 7 ref
language
inglise