GEOTRUST SSL CERTIFICATE
Titre : | Phoebus. |
Titre de série : | Phoebus, 16 |
Type de document : | texte imprimé |
Editeur : | Bordeaux : Préventique, 2001 |
Format : | 73 p. / ill. / 24 x 16 cm |
Langues: | Français |
Index. décimale : | 004.4 |
Mots-clés: | ordinateurs ; fiabilité |
Résumé : |
Au sommaire : l'outil "polyspace verfier", "M-Elopée : un atelier de calcul de fiabilité des logiciels, projet Matisse, retour d'expérience sur la fiabilité du logiciel de contrôle commande Arianne 5, développement de logiels sûrs. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |