Login / Signup
Static analysis of multi-core TDMA resource arbitration delays.
Timon Kelter
Heiko Falk
Peter Marwedel
Sudipta Chattopadhyay
Abhik Roychoudhury
Published in:
Real Time Syst. (2014)
Keyphrases
</>
static analysis
dynamic analysis
source code
symbolic execution
malicious code
java card
regular expressions
test generation
test suite
resource management
ad hoc networks
resource allocation
knowledge base
data sets
case study
error rate
domain knowledge
high level