Toggle Main Menu Toggle Search

Open Access padlockePrints

Formalisation-Driven Development of Safety-Critical Systems

Lookup NU author(s): Dr Alexei Iliasov, Professor Alexander RomanovskyORCiD, Dr Elena Troubitsyna

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Iliasov A, Romanovsky A, Troubitsyna E, Laibinis L

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)

Year of Conference: 2016

Pages: 165-172

Online publication date: 03/03/2016

Acceptance date: 01/01/1900

ISSN: 1530-2059

Publisher: IEEE

URL: http://dx.doi.org/10.1109/HASE.2016.35

DOI: 10.1109/HASE.2016.35

Library holdings: Search Newcastle University Library for this item

ISBN: 9781467399128


Share