Synthesis of Mealy machines using derivatives

H.H. Hansen, D.F. de Oliveira Costa, J.J.M.M. Rutten

    Research output: Book/Report › Report › Academic

    Fingerprint

    Dive into the research topics of 'Synthesis of Mealy machines using derivatives'. Together they form a unique fingerprint.

    Mathematics

    Computer Science