Toggle Main Menu Toggle Search

Open Access padlockePrints

Rigorous Development of Fault-Tolerant Systems through Co-Refinement

Lookup NU author(s): Dr Ilya Lopatkin, Professor Alexander RomanovskyORCiD


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

Publication metadata

Author(s): Lopatkin I, Romanovsky A

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 19th Ada-Europe International Conference on Reliable Software Technologies

Year of Conference: 2014

Pages: 11-26

Print publication date: 29/05/2014

Acceptance date: 01/01/1900

ISSN: 9783319083117

Publisher: Springer


DOI: 10.1007/978-3-319-08311-7_3

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319083100