prindi

Model checking - a new challenge for design of complex computer-controlled systems [Electronic resource]

autor
Vain, Jüri
Küttner, Rein
vastutusandmed
Juri Vain and Rein Kyttner
allikas
5th International Conference on Engineering Design and Automation 2001 : EDA Conference : Las Vegas, Nevada, USA : (refered conference papers)
ilmumiskoht
[S. l.]
ilmumisaasta
2001
leheküljed
p. 593-598 : ill. [CD-ROM]
märkused
Bibliogr.: 9 ref
Vain, J., Küttner, R. Model checking - a new challenge for design of complex computer-controlled systems [Electronic resource] // 5th International Conference on Engineering Design and Automation 2001 : EDA Conference : Las Vegas, Nevada, USA : (refered conference papers). [S. l.], 2001. p. 593-598 : ill. [CD-ROM].