9 citations · 20 across the 13 of their papers we have counts for
1 paper · 1 filter
Daisuke Ishii, Takashi Tomita, Toshiaki Aoki +3
The development of embedded systems requires formal analysis of models such as those described with MATLAB/Simulink. However, the increasing complexity of industrial models makes a…