Rigorous Development of Fault-Tolerant Systems through Co-Refinement

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

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

URL: http://dx.doi.org/10.1007/978-3-319-08311-7_3

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

ePrints