Herber, Paula, University of Münster Computer Science Department, Germany

• Information Technology and Control Vol. 48 No. 2 (2019) - Articles
  Information Flow Analysis of Combined Simulink/Stateflow Models
  Abstract  PDF