S. A. Khan, Osman Hasan, Atif Mashkoor,
"Formal Verification and Safety Assessment of a Hemodialysis Machine"
, in A Min Tjoa and Ladjel Bellatreche and Stefan Biffl and Jan van Leeuwen and Jirí Wiedermann: SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Springer, Seite(n) 241-254, 2018
Original Titel:
Formal Verification and Safety Assessment of a Hemodialysis Machine
Sprache des Titels:
Englisch
Original Buchtitel:
SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science