Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment.

Werner Damm Jochen Klose

Published in: Formal Methods Syst. Des. (2001)

Keyphrases

model checking
real time
verification method
face verification
image sequences
multi agent
signature verification
dynamic environments
computer simulation
concurrent systems
test generation
environmental conditions
autonomous agents
data structure
website
artificial intelligence
data mining