Toggle Main Menu Toggle Search

Open Access padlockePrints

From Requirements Engineering to Safety Assurance:Refinement Approach

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



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

Publication metadata

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

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 1st Symposium on Dependable Software Engineering; Theories, Tools and Applications

Year of Conference: 2015

Pages: 201-216

Print publication date: 27/10/2015

Online publication date: 17/10/2015

Acceptance date: 01/01/2015

Date deposited: 22/12/2015

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-319-25942-0_13

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319259413