ℹ️
🇨🇿
Hledání
Hledat publikace relevantní k dotazu "Hemodialysis device"
Hemodialysis device
Publikace
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
publication
How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study
2016 |
Matematicko-fyzikální fakulta
publication
Integrating Formal Methods into Medical Software Development: the ASM approach
2018 |
Matematicko-fyzikální fakulta
