(Semi-)Automatic generation of Uppaal models for model checking embedded control systems
autor
Ernits, Juhan-Peep
Vain, Jüri
vastutusandmed
Juhan Ernits and Jüri Vain
allikas
14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts
ilmumiskoht
Tallinn
ilmumisaasta
2002
leheküljed
p. 45-46
märksõna
juhtimissüsteemid
manussüsteemid
algoritmid
ISBN
9985-894-50-2
märkused
Bibliogr.: 5 ref
keel
inglise