Formal Support for the Safety Analysis of Requirement Models

Safe Comp 95 ◽  
1995 ◽  
pp. 75-89
Author(s):  
Ken Chan ◽  
Clive Fencott ◽  
Barry Hebbron
Keyword(s):  
Safety Analysis ◽  
Formal Support ◽  
Requirement Models

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

2020 ◽  
Author(s):  
Sayan Sakhakarmi ◽  
Chunhee Cho ◽  
JeeWoong Park
Keyword(s):  
Safety Analysis ◽  
Divide And Conquer

Safety Analysis for a New GNSS Timing Service via Galileo

2019 ◽  
Author(s):  
Ricardo Píriz ◽  
Fulgencio Buendía ◽  
Juan-Ramón Martín ◽  
Javier Fidalgo ◽  
Pascale Defraigne ◽  
...  
Keyword(s):  
Safety Analysis
Sign in / Sign up

Export Citation Format

Share Document