1. INESCTEC

Browsing by Author Drinnan,M

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 2 of 2
Issue DateTitleAuthor(s)
2019Formal techniques in the safety analysis of software components of a new dialysis machineHarrison,MD; Whitaker,M; di Maria,C; Paolo Masci; José Creissac Campos; Drinnan,M; Freitas,L; 6577; 5599
2017Safety Analysis of Software Components of a Dialysis Machine Using Model CheckingHarrison,MD; Drinnan,M; José Creissac Campos; Paolo Masci; Freitas,L; Maria,Cd; Whitaker,M
Showing results 1 to 2 of 2