• Process-oriented analysis for medical devices 

      Sfyrla, Vassiliki; Carmona Vargas, Josep; Henck, Pascal (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014)
      Text en actes de congrés
      Accés obert
      Medical Cyber Physical Systems are widely used in modern healthcare environments. Such systems are considered life-critical due to the severity of consequences that faults may cause. Effective methods, techniques and tools ...