Runtime Verification of k-Mutual Exclusion for SoCs.

Selma Ikiz Alper Sen

Published in: MTV (2007)

Keyphrases

mutual exclusion
long distance
temporal planning
model checking
face verification
signature verification
verification method
formal verification
asynchronous circuits
functional verification
data sets
information retrieval
information systems
service composition