Semantic Translation of Simulink Diagrams to Input/Output Extended Finite Automata.

Changyan ZhouRatnesh Kumar
Published in: Discret. Event Dyn. Syst. (2012)
Keyphrases