scholarly journals Abstract State Machines and System Theoretic Process Analysis for Safety-Critical Systems

2017 ◽  
pp. 15-32 ◽  
Author(s):  
Farah Al-Shareefi ◽  
Alexei Lisitsa ◽  
Clare Dixon
Keyword(s):  
Process Analysis ◽  
State Machines ◽  
Critical Systems ◽  
Abstract State Machines ◽  
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
Sign in / Sign up

Export Citation Format

Share Document