Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Techniques in the Safety Analysis of Software Components of a new Dialysis Machine

Lookup NU author(s): Professor Michael Harrison, Dr Leo Freitas, Dr Michael Drinnan, Costanzo Di Maria


The full text of this item is currently under embargo and cannot be made publicly available until 12/02/2020.

Publication metadata

Author(s): Harrison MD, Freitas L, Drinnan M, Campos JC, Masci P, Di Maria C, Whitaker M

Publication type: Article

Publication status: Published

Journal: Science of Computer Programming

Year: 2019

Volume: 175

Pages: 17-34

Print publication date: 15/04/2019

Online publication date: 12/02/2019

Acceptance date: 07/02/2019

Date deposited: 15/01/2019

ISSN (print): 0167-6423

ISSN (electronic): 1872-7964

Publisher: Elsevier BV


DOI: 10.1016/j.scico.2019.02.003


Altmetrics provided by Altmetric


Find at Newcastle University icon    Link to this publication