Login / Signup
Enhancing Property Specification Tools With Validation Techniques.
Salamah Salamah
Matthew Del Buono
Eric Baily
Sarah Printy
Derek Ferris
Laurel Christian
Published in:
SEKE (2009)
Keyphrases
</>
software tools
formal methods
neural network
tool suite
expert systems
data model
visualization tools
ims qti
artificial intelligence
high level
multi agent systems
relational databases
decision support
conceptual models