Handling industrial hazards by pre-emptive model checking [Electronic resource]
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
leheküljed
[4] p. : ill. [CD-ROM]
konverentsi nimetus, aeg
4th International Conference on Industrial Automation, June 9-11, 2003
konverentsi toimumispaik
Montreal, Canada
ISBN
2-9802846-3-2
märkused
Bibliogr.: 7 ref
keel
inglise
Kuusik, A., Otto, T., Vain, J. Handling industrial hazards by pre-emptive model checking [Electronic resource] // 4th International Conference on Industrial Automation : June 9-11, 2003, Montreal, Canada : proceedings. [S.l.], 2003. [4] p. : ill. [CD-ROM].