C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A Formal Framework for Conformance Testing of Distributed Real-Time Systems.
Moez Krichen
Published in:
OPODIS (2010)
Keyphrases
</>
real time systems
distributed systems
cooperative
mission critical
timing constraints
real time
multi agent
scheduling problem
test cases
architectural model