Formal Verification and Safety Assessment of a Hemodialysis Machine.

Shahid Khan, Osman Hasan, Atif Mashkoor

Browse the full SOFSEM paper archive.