Login / Signup

Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.

Nan GuanZonghua GuMingsong LvQingxu DengGe Yu
Published in: ISORC (2008)
Keyphrases
  • symbolic model checking
  • artificial intelligence
  • web services
  • heuristic search
  • search algorithm
  • model checking
  • formal verification