Login / Signup
A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata.
Gabor Madl
Nikil D. Dutt
Sherif Abdelwahed
Published in:
IEEE Real-Time and Embedded Technology and Applications Symposium (2009)
Keyphrases
</>
detection method
preprocessing
clustering method
segmentation method
pairwise
high accuracy
model checking
real time
artificial intelligence
bayesian networks
objective function
dynamic programming
probabilistic model
graphical models
first order logic