(Semi-)Automatic generation of Uppaal models for model checking embedded control systems
author
statement of authorship
Juhan Ernits and Jüri Vain
location of publication
Tallinn
year of publication
pages
p. 45-46
ISBN
9985-894-50-2
notes
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.