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 « Au rythme actuel avec nos tests RT-PCR, nous allons confiner des dizaines de milliers de gens pour rien », alerte le Dr. Yvon Le Flohic
- 2Les tests RT-PCR du Covid-19 se révèlent être de très mauvais tests de contagiosité
- 3Covid-19 : Trois résultats scientifiques clés pour repenser la doctrine de dépistage par RT-PCR
- 4Baisser le seuil de détection des tests RT-PCR du Covid-19 pour mieux dépister les individus contagieux
- 5Exclusif : Découvrez notre classement 2020 des écoles d’ingénieurs
Bienvenue !
Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies
Nous vous recommandons
Informatique
ZÉRO PANNE LE DÉFI DES SYSTÈMES EMBARQUÉSFace à la prolifération et la complexité croissante des systèmes embarqués, les industriels doivent plus que[…]
Production
ÉVÉNEMENT