Costanzo di Maria

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Safety Analysis

Formal Verification

Nuclear Power Plant

Top Venues

Sci. Comput. Program.

Publications

Michael D. Harrison, Leo Freitas, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Costanzo di Maria, Michael Whitaker
Formal techniques in the safety analysis of software components of a new dialysis machine. Sci. Comput. Program. 175 (2019)
Michael D. Harrison, Michael J. Drinnan, José Creissac Campos, Paolo Masci, Leo Freitas, Costanzo di Maria, Michael Whitaker
Safety Analysis of Software Components of a Dialysis Machine Using Model Checking. FACS (2017)