Conversion of mealy to Moore machine for safety critical systems

2021 ◽  
Author(s):  
P. Sai Prasanna ◽  
B. Rithvej ◽  
JVR Ravindra
Keyword(s):  
Critical Systems ◽  
Safety Critical ◽  
Moore Machine ◽  
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