Verification of Message Sequence Structures.

Meenakshi D'Souza Teodor Knapik

Published in: ICDCIT (2013)

Keyphrases

email
database
artificial intelligence
model checking
real time
databases
neural network
data structure
signature verification
functional verification