Combining Monitors for Runtime System Verification.

Joshua Levy Hassen Saïdi Tomás E. Uribe

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

model checking
expert systems
real time
neural network
face verification
database systems
data structure
concurrent systems
test generation
formal analysis
artificial neural networks
information technology
objective function
image segmentation
website
information systems
information retrieval
data sets