The Power of Ten-Rules for Developing Safety Critical Code

Author(s):  
Gerard J. Holzmann
Keyword(s):  
2011 ◽  
Vol 31 (1) ◽  
pp. 281-285
Author(s):  
Huan HE ◽  
Zhong-wei XU ◽  
Gang YU ◽  
Shi-yu YANG

Sign in / Sign up

Export Citation Format

Share Document