Login / Signup
Scenario-based timing verification of multiprocessor embedded applications.
Dipankar Das
P. P. Chakrabarti
Rajeev 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