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