scholarly journals A Survey of Safety Analysis Techniques for Safety Critical Systems

2013 ◽  
pp. 134-137 ◽  
Author(s):  
Aftab Ali Haider ◽  
Aamer Nadeem
Keyword(s):  
Safety Analysis ◽  
Critical Systems ◽  
Safety Critical ◽  
Analysis Techniques ◽  
Safety Critical Systems

Safety Analysis of Safety-Critical Systems Using State-Space Models

IEEE Software ◽  
2017 ◽  
Vol 34 (4) ◽  
pp. 38-47 ◽  
Author(s):  
Vinay Kumar ◽  
Lalit Kumar Singh ◽  
Anil Kumar Tripathi ◽  
Pooja Singh
Keyword(s):  
State Space ◽  
Safety Analysis ◽  
State Space Models ◽  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document