Cette révolution conceptuelle rend l'informatique plus fiable.
vous lisez un article d'Industries & Technologies N°0908
Découvrir les articles de ce numéro Consultez les archives 2009 d'Industries & TechnologiesLA SAGA DES INGÉNIEURS JOSEPH SIFAKIS EN 1982, IL INVENTE LE MODEL CHECKING
Les plus lus
- 1« La technologie d'électrolyse du CEA qu'exploitera Genvia pour produire de l'hydrogène atteint 99% de rendement», se réjouit Julie Mougin du CEA-Liten
- 2Derrière un plateau trompeur, le variant anglais croît et va bientôt faire exploser les hospitalisations, estime une étude de l'Inserm
- 3Baisser le seuil de détection des tests RT-PCR du Covid-19 pour mieux dépister les individus contagieux
- 4Vaccin anti Covid-19 : « La seconde dose permet d’atteindre l'efficacité maximale », pointe le chercheur Bruno Pitard
- 5Pourquoi la troisième démonstration de l’avantage quantique est moins spectaculaire mais bien plus rigoureuse
Bienvenue !
Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies
Nous vous recommandons
ÉVÉNEMENT
GOOGLE RELANCE LINUX DANS LE MOBILEL'arrivée des premiers téléphones équipés d'Android, le système d'exploitation à base de Linux développé par le[…]
audiovisuel
Informatique