Browsing by Author Drinnan,M
Showing results 1 to 2 of 2
Issue Date | Title | Author(s) |
2019 | Formal techniques in the safety analysis of software components of a new dialysis machine | Harrison,MD; Whitaker,M; di Maria,C; Paolo Masci; José Creissac Campos; Drinnan,M; Freitas,L; 6577; 5599 |
2017 | Safety Analysis of Software Components of a Dialysis Machine Using Model Checking | Harrison,MD; Drinnan,M; José Creissac Campos; Paolo Masci; Freitas,L; Maria,Cd; Whitaker,M |