| Titre : | Joseph Sifakis : "Nous avons rendu l'informatique plus sûre" (2008) |
| Auteurs : | Joseph Sifakis, Personne interviewée ; Cécile Michaut, Intervieweur |
| Type de document : | Article : texte imprimé |
| Dans : | La Recherche (Paris. 1970) (422, 09/2008) |
| Article en page(s) : | p.60-63 |
| Langues de la publication : | Français |
| Descripteurs |
[UNESCO] Contrôle de qualité [UNESCO] Logiciel |
| Mots-clés : | fiabilité/2000- |
| Résumé : | Entretien, en 2008, avec Joseph Sifakis, lauréat du prix Türing, qui expose les résultats de ses travaux concernant la mise au point d'un modèle mathématique de vérification et de fiabilité des logiciels, dit Model Checking. Les applications du Model Checking, ses limites. |
| Nature du document : | Article de périodique |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 39065 | Presse scientifique | Périodique | CDI 1 | Presse scientifique | Disponible |