reactive/control software written in Simulink/Stateflow through its translation into an automaton model. The discrete modeling for- malism of an automaton ...
確定! 回上一頁