Login / Signup
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.
Nan Guan
Zonghua Gu
Mingsong Lv
Qingxu Deng
Ge Yu
Published in:
ISORC (2008)
Keyphrases
</>
symbolic model checking
artificial intelligence
web services
heuristic search
search algorithm
model checking
formal verification