Exploiting Timed Automata for Conformance Testing of Power Measurements.

Matthias Woehrle Kai Lampka Lothar Thiele

Published in: FORMATS (2009)

Keyphrases

timed automata
model checking
reachability analysis
theorem prover
power consumption
power distribution
test cases
temporal logic
measurement noise
measured data
software testing
first order logic
video sequences
data mining
database
theorem proving
computational power
low cost
genetic algorithm
data sets