Verification of Clock Synchronization in TTP.

Krishnamani Kalyanasundaram R. K. Shyamasundar

Published in: Formal Models, Languages and Applications (2007)

Keyphrases

high speed
model checking
power consumption
signature verification
formal verification
databases
neural network
mobile devices
duty cycle
database
real time
data sets
information systems
digital images
functional verification