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ärksõna
automaatjuhtimine
raaljuhtimine
mudelid
kontroll
märkused
Bibliogr.: 9 ref
keel
inglise