Verification & Validation in Medi SPICE.

M. S. Sivakumar Valentine Casey Fergal McCaffery Gerry Coleman

Published in: SPICE (2011)

Keyphrases

model checking
formal verification
face verification
three dimensional
asynchronous circuits
verification method
real time
genetic algorithm
social networks
image processing
website