Skip to main content
Mon bloc-notes
Langue / language
English
Français
Contents
Applications
China
Linux
M2M / IoT / ITS
[soft|hard]ware development
Mac OS X
Spare time
Web
World
User login
Username
*
Password
*
Request new password
What code is in the image?
*
Enter the characters shown in the image.
You are here
Home
Code safety
Created on 09-Jan-2015 - Updated on 24-Jul-2022 - 5817 views
Papers from
Gerard J. Holzmann
The Power of Ten: Rules for Developing Safety Critical Code
,
IEEE Computer, June 2006
Experience Using the Power of Ten Coding Rules
,
with Michael McDougal,
Software Test & Performance Magazine, Vol. 6, No. 10, Oct. 2009, pp. 12-16.
other papers
Misc.
awesome-safety-critical
Navigation
Contact
Search form
Search