Aller au contenu principal
Mon bloc-notes
Langue / language
English
Français
Contenu
Chine
Informatique
Loisirs
Professionnel
Société
Connexion utilisateur
Nom d'utilisateur
*
Mot de passe
*
Demander un nouveau mot de passe
Quel code est dissimulé dans l'image ?
*
Saisir les caractères affichés dans l'image.
Vous êtes ici
Accueil
Code safety
Created on 09-Jan-2015 - Updated on 24-juil-2022 - 5816 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
Formulaire de recherche
Rechercher
If you can read English, check the
English part of the site
.