-
UPPAAL is an integrated tool environment for modeling, validation and verification of real-time system modeled as networks of timed automata, extended with data ...
Timed Automata 
www.uppaal.com - 2009-02-04
-
Homepage von M. Oliver Moeller
www.verify-it.de - 2009-02-07
-
Publications and CV of Gordon Fraser, researcher on automated testing at Graz University of Technology.
www.fraser.at - 2009-03-07
|
credit
verification
inspection
control
check
testing
automation
engineering
test
industrial
employment
laboratory
|
|