A Synthesis Framework Based on Trace and Automata Theory.

Jérôme Fron Jerry Chih-Yuan Yang Maurizio Damiani Giovanni De Micheli

Published in: ISCAS (1994)

Keyphrases

automata theory
machine learning
high level
graph theory