Testing Real-Time Systems under Uncertainty.

Alexandre David Kim Guldstrand Larsen Shuhao Li Marius Mikucionis Brian Nielsen

Published in: FMCO (2010)

Keyphrases

real time systems
real time
distributed systems
embedded systems
timing constraints
real time database systems
embedded real time systems
mission critical
architectural model
real time embedded
multi agent
cooperative
search algorithm
knowledge representation
test cases