Joseph Sifakis : ÷Nous avons rendu l'informatique plus sûre÷

Enregistré dans:
Détails bibliographiques
Publié dans: La Recherche No 422
Auteur principal: Michaut, Cécile.
Support: Article de revue
Publié: 2008.
Sujets:
Résumé: Les systèmes informatiques sont devenus indispensables à nos activités quotidiennes comme à l'industrie. Mais peut-on toujours leur faire confiance ? La mise au point de méthodes qui garantissent leur fiabilité a été récompensée par le dernier prix Türing, la plus haute distinction en science de l'information
Lien: Dans: La Recherche

Documents similaires