1 paper · 1 filter
Daisuke Ishii, Takashi Tomita, Kenji Onishi +1
Synchronous systems provide a basic model of embedded systems and industrial systems are modeled as Simulink diagrams and/or Lustre programs. Although the test generation problem i…