Exploració per tema "Formal analysis"
Ara es mostren els items 1-1 de 1
-
Process-oriented analysis for medical devices
(Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2014)
Text en actes de congrés
Accés obertMedical 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 ...