Classification: 3912: Computer-aided diagnosis and therapy

Publications

Contribution to conference proceedings

2018 Adelsberger, Stephan, Igried, Bashar, Moser, Markus, Savenkov, Vadim, Setzer, Anton. 2018. Formal Verification for Feature-Based Composition of Workflows. In 14th European Dependable Computing Conference, EDCC 2018, Iasi, Romania, September 10-14, 2018, Hrsg. Emanuel Onica, Pascal Felber, Paolo Lollini, 173-181. Iasi: IEEE. (Details)

Projects

2001
Introduction of the e-card - Evaluation of the trial operation (2001-2006) (Details)