Login / Signup
Synthesis of fully testable sequential machines.
R. Thomas
S. Kundu
Published in:
EURO-DAC (1991)
Keyphrases
</>
real time
program synthesis
database
machine learning
learning algorithm
information systems
decision trees
image sequences
information technology