Modeling and Verification of Biphase Mark Protocolsin Duration Calculus Using PVS.

Published in: ACSD (1998)

Keyphrases

formal verification
timed automata
model checking
artificial intelligence
machine learning
search engine
social networks
case study
video sequences
search algorithm
artificial neural networks
fingerprint verification