Modeling Simulink Diagrams Using Input/Output Extended Finite Automata.

Changyan Zhou, Ratnesh Kumar

Browse the full COMPSAC paper archive.