Login / Signup
BENTON: A Multi-Agent System for Larch Specification Generation.
Perry Alexander
Published in:
SEKE (1993)
Keyphrases
</>
objective function
real time
three dimensional
expert systems
database
databases
real world
machine learning
search engine
computer vision
formal verification