A Toolbox for Proving and Maintaining Hybrid Specifications.

Michael S. Branicky Ekaterina Dolginova Nancy A. Lynch

Published in: Hybrid Systems (1996)

Keyphrases

data sets
software package
decision trees
high level
databases
neural network
information systems
decision making
probabilistic model
distributed systems