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
- 1Comment McPhy veut industrialiser l’électrolyse alcaline pour produire de l'hydrogène décarboné à coût réduit
- 2Avec Hygéo, Hydrogène de France et Teréga veulent convertir une caverne souterraine pour stocker de l’hydrogène vert
- 3« Que Bpifrance choisisse AWS quand le président de la République réclame la souveraineté numérique, ce n'est pas acceptable ! », assène Frans Imbert Vier (Ubcom)
- 4[Covid-19] Face à l’urgence, le moment de faire leurs preuves pour les vaccins à ADN et ARN messager
- 5Un premier challenge R&D et cinq projets prometteurs retenus par le Cnes pour les lanceurs spatiaux du futur
Bienvenue !
Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies
Nous vous recommandons
Production
LES TROIS BOTTES SECRÈTES DE MAZAKInnovation permanente, intégration tous azimuts et personnel extrêmement bien formé font la force du constructeur[…]
production
LES POMPES