Fault-Aware Modeling and Specification for Efficient Formal Safety Analysis

Lecture Notes in Computer Science - Critical Systems: Formal Methods and Automated Verification ◽

10.1007/978-3-319-45943-1_7 ◽

2016 ◽

pp. 97-114 ◽

Author(s):

Axel Habermaier ◽

Alexander Knapp ◽

Johannes Leupolz ◽

Wolfgang Reif

Keyword(s):

Safety Analysis

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

PPP Integrity for Advanced Applications, Including Field Trials with Galileo, Geodetic and Low-Cost Receivers, and a Preliminary Safety Analysis

Proceedings of the 29th International Technical Meeting of The Satellite Division of the Institute of Navigation (ION GNSS+ 2016) ◽

10.33012/2016.14791 ◽

2016 ◽

Author(s):

P. F. Navarro Madrid ◽

L. Mart�nez Fern�ndez ◽

M. Alonso L�pez ◽

M.D. La�nez Samper ◽

M.M. Romay Merino

Keyword(s):

Low Cost ◽

Safety Analysis ◽

Field Trials ◽

Advanced Applications

Download Full-text

Fire and Life Safety Analysis- UW Medicine Lake Union Phase 3.1

10.15368/fperpt.2014.3 ◽

2014 ◽

Author(s):

Marge Hong

Keyword(s):

Safety Analysis ◽

Life Safety ◽

Download Full-text

Homeopathic remedies to prevent and treat children acute respiratory viral infections: a comparative efficacy and safety analysis

SOVREMENNAYA PEDIATRIYA ◽

10.15574/sp.2015.71.71 ◽

2015 ◽

Vol 71 (7) ◽

pp. 71-75

Author(s):

S.O. Mokiya-Serbina ◽

◽

V.V. Chechel ◽

N.I. Zabolotnyaya ◽

◽

...

Keyword(s):

Viral Infections ◽

Safety Analysis ◽

Efficacy And Safety ◽

Comparative Efficacy ◽

Respiratory Viral Infections ◽

Homeopathic Remedies

Download Full-text

4.11 Beyond the Large LOCA: Current Heat Transfer Aspects of LWR Safety Analysis

Proceeding of Advanced Course in Heat Transfer in Nuclear Reactor Safety ◽

10.1615/ichmt.1982.advcourheattransfnucreactsaf.470 ◽

1980 ◽

Author(s):

S. P. Kalra ◽

Romney B. Duffey ◽

M. Merilo ◽

K. H. Sun ◽

Yoram Zvirin

Keyword(s):

Heat Transfer ◽

Safety Analysis ◽

Download Full-text

Novel software platform for advanced optical radiation safety analysis

International Laser Safety Conference ◽

10.2351/1.5056730 ◽

2011 ◽

Author(s):

Simon Hall ◽

Neil Haigh

Keyword(s):

Optical Radiation ◽

Radiation Safety ◽

Safety Analysis ◽

Software Platform

Download Full-text