Sign in
Formal Modeling in a Commercial Setting: A Case Study.
Andre Wong
Marsha Chechik
Published in:
World Congress on Formal Methods (1999)
Keyphrases
</>
formal model
formal models
data sets
neural network
logic programs
modeling method
real world
decision making
knowledge base
image processing
case study
data structure
software engineering
formal specification
modeling framework
formal methods