Login / Signup

Scenario-based timing verification of multiprocessor embedded applications.

Dipankar DasP. P. ChakrabartiRajeev Kumar
Published in: ACM Trans. Design Autom. Electr. Syst. (2009)
Keyphrases
  • asynchronous circuits
  • model checking
  • embedded systems
  • case study
  • scheduling algorithm
  • data sets
  • real time
  • multi agent systems
  • face verification
  • formal verification
  • verification method