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
- 1Académiques et industriels lancent à Grenoble l’institut 3IA dédié à l’intelligence artificielle
- 2Comment Airbus a utilisé Palantir pour assurer la montée en cadence de l’A350
- 3À Dunkerque, Grhyd injecte 20% d’hydrogène dans le réseau de gaz naturel
- 4La nacelle du Stratobus de Thales Alenia Space est validée par le CNIM
- 5[Bourget] Daher, Safran et Airbus dévoilent Ecopulse : un avion à propulsion hybride
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