McMaster-Shanghai Research Group on Dependable Systems

  1. Ridha Khedri: Software Product Family and Software Medical Device
  2. Yihai Chen: Software Medical Device
  3. Wen Su: Software Product Family and Event B
  4. Xi Wang: Software Product Family and SOFL