-
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
-
Publications and CV of Gordon Fraser, researcher on automated testing at Graz University of Technology.
www.fraser.at - 2009-03-07
|
check
employment
laboratory
jobs
cash
career
card
automation
engineering
industrial
careers
testing
credit
inspection
debt
control
loans
test
|
|