ePrints

Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems

Lookup NU author(s): Dr Leo Freitas, Dr Bill ScottORCiD, Professor Patrick Degenaar

Downloads

• Published version [.pdf]

Licence

This work is licensed under a Creative Commons Attribution 4.0 International License (CC BY 4.0).

Publication metadata

Author(s): Freitas L, Scott III WE, Degenaar P

Publication type: Article

Publication status: Published

Journal: Science of Computer Programming

Year: 2020

Volume: 200

Print publication date: 01/12/2020

Online publication date: 28/09/2020

Acceptance date: 01/08/2020

Date deposited: 05/11/2020

ISSN (print): 0167-6423

ISSN (electronic): 1872-7964

Publisher: Elsevier BV

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

DOI: 10.1016/j.scico.2020.102545

Altmetrics

Share