Modeling Simulink Diagrams Using Input/Output Extended Finite Automata.

Changyan ZhouRatnesh Kumar
Published in: COMPSAC (2) (2009)
Keyphrases