Integrated safety analysis of requirements specifications

Requirements Engineering ◽

10.1007/bf02813026 ◽

1997 ◽

Vol 2 (2) ◽

pp. 65-78 ◽

Author(s):

F. Modugno ◽

N. G. Leveson ◽

J. D. Reese ◽

K. Partridge ◽

S. D. Sandys

Keyword(s):

Safety Analysis ◽

Requirements Specifications

Download Full-text

Safety Analysis for Requirements Specifications: Methods and Techniques

Safe Comp 95 ◽

10.1007/978-1-4471-3054-3_3 ◽

1995 ◽

pp. 27-41 ◽

Author(s):

Amer Saeed ◽

Rogério de Lemos ◽

Tom Anderson

Keyword(s):

Safety Analysis ◽

Requirements Specifications ◽

Methods And Techniques

Download Full-text

Integrated safety analysis of requirements specifications

Proceedings of ISRE 97 3rd IEEE International Symposium on Requirements Engineering ISRE-97 ◽

10.1109/isre.1997.566862 ◽

2002 ◽

Author(s):

F. Modugno ◽

N.G. Leveson ◽

J.D. Reese ◽

K. Partridge ◽

S.D. Sandys

Keyword(s):

Safety Analysis ◽

Requirements Specifications

Download Full-text

A subjective methodology for safety analysis of safety requirements specifications

IEEE Transactions on Fuzzy Systems ◽

10.1109/91.618277 ◽

1997 ◽

Vol 5 (3) ◽

pp. 418-430 ◽

Author(s):

J. Wang

Keyword(s):

Safety Analysis ◽

Safety Requirements ◽

Requirements Specifications

Download Full-text

Safety analysis tools for requirements specifications

Proceedings of 11th Annual Conference on Computer Assurance COMPASS 96 CMPASS-96 ◽

10.1109/cmpass.1996.507883 ◽

2002 ◽

Author(s):

V. Ratan ◽

K. Partridge ◽

J. Reese ◽

N. Leveson

Keyword(s):

Safety Analysis ◽

Requirements Specifications ◽

Download Full-text

On the safety analysis of requirements specifications for safety-critical software

ISA Transactions ◽

10.1016/0019-0578(95)00019-v ◽

1995 ◽

Vol 34 (3) ◽

pp. 283-295 ◽

Author(s):

Amer Saeed ◽

Rogério de Lemos ◽

Tom Anderson

Keyword(s):

Safety Analysis ◽

Safety Critical ◽

Requirements Specifications

Download Full-text

Decision letter for "A real‐world efficacy and safety analysis of combined carfilzomib, lenalidomide, and dexamethasone (KRd) in relapsed/refractory multiple myeloma"

10.1002/hon.2820/v2/decision1 ◽

2020 ◽

Keyword(s):

Multiple Myeloma ◽

Safety Analysis ◽

Efficacy And Safety ◽

Refractory Multiple Myeloma

Download Full-text

Development of Safety Analysis Code System of Beam Transport and Core for Accelerator Driven System

SNA + MC 2013 - Joint International Conference on Supercomputing in Nuclear Applications + Monte Carlo ◽

10.1051/snamc/201405202 ◽

2014 ◽

Author(s):

Naoto Aizawa ◽

Tomohiko Iwasaki

Keyword(s):

Safety Analysis ◽

Code System ◽

Beam Transport ◽

Driven System ◽

Accelerator Driven System

Download Full-text

Early administration of low molecular weight heparin after spontaneous intracerebral haemorrhage: a safety analysis

Aktuelle Neurologie ◽

10.1055/s-0028-1086569 ◽

2008 ◽

Vol 35 (S 01) ◽

Author(s):

B Huttner ◽

C Kanter ◽

D Staykov ◽

M Köhrmann ◽

T Struffert ◽

...

Keyword(s):

Molecular Weight ◽

Intracerebral Haemorrhage ◽

Low Molecular Weight Heparin ◽

Safety Analysis ◽

Low Molecular Weight ◽

Early Administration ◽

Spontaneous Intracerebral Haemorrhage

Download Full-text

Scaffold Safety Analysis: Focusing on Divide-and-Conquer Method

Construction Research Congress 2020 ◽

10.1061/9780784482865.023 ◽

2020 ◽

Author(s):

Sayan Sakhakarmi ◽

Chunhee Cho ◽

JeeWoong Park

Keyword(s):

Safety Analysis ◽

Divide And Conquer

Download Full-text

Safety Analysis for a New GNSS Timing Service via Galileo

Proceedings of the 32nd International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2019) ◽

10.33012/2019.17105 ◽

2019 ◽

Author(s):

Ricardo Píriz ◽

Fulgencio Buendía ◽

Juan-Ramón Martín ◽

Javier Fidalgo ◽

Pascale Defraigne ◽

...

Keyword(s):

Safety Analysis

Download Full-text