Skip to main content

Datasheet

NASA Power of 10

‘The Power of 10: Rules for Developing Safety-Critical Code – Gerard J. Holzmann, NASA/JPL Laboratory for Reliable Software’
http://spinroot.com/gerard/pdf/P10.pdf