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[Covid-19] Ces preuves empriques de l’efficacité du confinement contre le coronavirus SARS-CoV-2
- 2[Covid-19] Comment la France essaie d'éviter la pénurie de respirateurs artificiels
- 3[Protection] « Une fois les prototypes validés par la DGA, les masques seront produits par notre réseau régional d'ateliers », lance Capucine Mercier, PDG de PliM
- 4[Covid-19] Comment le coronavirus pénètre dans nos cellules et s'y réplique... Et comment le contrer
- 5[Dépistage] Au-delà des tests PCR du Covid-19, les tests sérologiques approchent
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