Quantitative and qualitative safety analysis of a hemodialysis machine with S#.

Johannes Leupolz Axel Habermaier Wolfgang Reif

Published in: J. Softw. Evol. Process. (2018)

Keyphrases

quantitative and qualitative
safety analysis
nuclear power plant
control system
qualitative and quantitative
safety critical
fault model
symbolic model checking
descriptive statistics
information systems
quantitative data
real time
multi agent
low cost
reliability analysis