(Semi-)Automatic generation of Uppaal models for model checking embedded control systems
author
Ernits, Juhan-Peep
Vain, Jüri
statement of authorship
Juhan Ernits and Jüri Vain
source
14th Nordic Workshop on Programming Theory : NWPT 2002, Tallinn, Estonia, 20-22 November 2002 : abstracts
location of publication
Tallinn
year of publication
2002
pages
p. 45-46
ISBN
9985-894-50-2
notes
Bibliogr.: 5 ref