Login / Signup
Management of Change in Structured Verification.
Dieter Hutter
Published in:
ASE (2000)
Keyphrases
</>
management system
information systems
real world
model checking
face verification
decision trees
information management
structured data
verification method
database
structured learning
network management
decision support
expert systems
knowledge base
genetic algorithm
neural network
databases