scholarly journals Applying RT-Z to Develop Safety-Critical Systems

2000 ◽  
pp. 51-65 ◽  
Author(s):  
Carsten Sühl
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems

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

Steering Actuator for Safety-critical Systems

ATZ worldwide ◽  
2020 ◽  
Vol 123 (1) ◽  
pp. 30-33
Author(s):  
Stephan Huber ◽  
Matthias Koch ◽  
Raviteja Krovvidi ◽  
Malte Fock
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Safety Critical Systems
Sign in / Sign up

Export Citation Format

Share Document