Methodological Support for Formally Specifying Safety-Critical Software

Safe Comp 97 ◽  
1997 ◽  
pp. 295-308 ◽  
Author(s):  
Maritta Heisel ◽  
Carsten Siihl
Keyword(s):  
Safety Critical

Model-free Learning for Safety-critical Control Systems: A Reference Governor Approach

2020 ◽  
Author(s):  
Kaiwen Liu ◽  
Nan Li ◽  
Ilya Kolmanovsky ◽  
Denise Rizzo ◽  
Anouck Girard
Keyword(s):  
Control Systems ◽  
Safety Critical ◽  
Model Free ◽  
Reference Governor

Generation of testing script based on XML for safety-critical systems

2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document