Runtime Verification of Safety-Progress Properties.

Yliès Falcone Jean-Claude Fernandez Laurent Mounier

Published in: RV (2009)

Keyphrases

structural properties
topological properties
data sets
model checking
desirable properties
databases
neural network
machine learning
artificial intelligence
website
information technology
artificial neural networks
multiresolution
data model
person identification