Michael Whitaker

According to our database, Michael Whitaker authored at least 2 papers between 2017 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