Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Verification of Spacecraft Control Programs

Lookup NU author(s): Georgy Lukyanov, Dr Andrey Mokhov, Jakob Lechner

Downloads


Licence

This is the authors' accepted manuscript of an article that has been accepted and is due to be published in its final definitive form by ACM, 2020.

For re-use rights please refer to the publisher's terms and conditions.


Publication metadata

Author(s): Lukyanov G, Mokhov A, Lechner J

Publication type: Article

Publication status: In Press

Journal: ACM Transactions on Embedded Computing Systems

Year: 2020

Acceptance date: 31/03/2020

Date deposited: 23/04/2020

ISSN (print): 1539-9087

ISSN (electronic): 1558-3465

Publisher: ACM

URL: https://doi.org/10.1145/3391900

DOI: 10.1145/3391900


Altmetrics

Altmetrics provided by Altmetric


Actions

Find at Newcastle University icon    Link to this publication


Share