Towards a Verification Approach of a Smart Registry for Chronic Heart Failure Patients.
Christoph EberharterMartin BaumgartnerKarl KreinerAaron LauschenskyRobert Modre-OsprianSabrina B. NeururerDieter HaynLuca BrunelliGerald SlamanigSarah PrantlBernhard PfeiferGerhard PölzlGünter SchreierPublished in: dHealth (2023)