Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences

Prabhas Chongstitvatana, Chatchawit Aporntewan. Improving Correctness of Finite-State Machine Synthesis from Multiple Partial Input/Output Sequences. In 1st NASA / DoD Workshop on Evolvable Hardware (EH 99), July 19-21, 1999, Pasadena, CA, USA. pages 262, IEEE Computer Society, 1999. [doi]

Abstract

Abstract is missing.