Applying Abstract Interpretation to Verify EN-50128 Software Safety Requirements
Reliability, safety, and security of railway systems: modelling, analysis, verification, and certification ; 2016 ; Paris
2016-01-01
12 pages
Conference paper
Unknown
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Respecting EN 50128 change control requirements using Bugzilla variant
IuD Bahn | 2010
|Begutachtung von sicherheitsrelevanter Software im Bahnbereich nach EN 50128
Online Contents | 2008
|Safe software development for a video-based train detection system in accordance with EN 50128
SLUB | 2013
|Use of Models to Verify and Validate Requirements for Critical Software
British Library Conference Proceedings | 2009
|Space Software Validation Using Abstract Interpretation
British Library Conference Proceedings | 2009
|