Model checking - a new challenge for design of complex computer-controlled systems [Electronic resource]
autor
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
leheküljed
p. 593-598 : ill. [CD-ROM]
märkused
Bibliogr.: 9 ref
keel
inglise
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].