Integrating Formal Description Techniques.

Bernhard Schätz Franz Huber

Published in: World Congress on Formal Methods (1999)

Keyphrases

neural network
database
databases
knowledge base
data structure
pattern recognition
data analysis
expert systems
object oriented
formal specification