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

Downloads

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

URL: https://doi.org/10.1016/j.scico.2019.02.003

DOI: 10.1016/j.scico.2019.02.003


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share