Michael J. Drinnan

According to our database, Michael J. Drinnan authored at least 3 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Formal techniques in the safety analysis of software components of a new dialysis machine.

Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker

Sci. Comput. Program., 2019

2017

Safety Analysis of Software Components of a Dialysis Machine Using Model Checking.

Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker

Proceedings of the Formal Aspects of Component Software - 14th International Conference, 2017

2006

Comparison of manual sleep staging with automated neural network-based analysis in clinical practice.

Jennifer Caffarel, G. John Gibson, J. Phil Harrison, Clive J. Griffiths, Michael J. Drinnan

Medical Biol. Eng. Comput., 2006