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
- 1Quand les données satellites aident à surveiller les trains
- 2Ferroviaire : le réseau dopé aux données
- 3Projet Hyport, bus et train : l'Occitanie accélère sur la mobilité lourde à hydrogène
- 4Vidéo : découvrez le plus grand bateau du monde entièrement imprimé en 3D
- 5Exclusif : Découvrez notre classement 2019 des écoles d’ingénieurs
Bienvenue !
Vous êtes désormais inscrits. Vous recevrez prochainement notre newsletter hebdomadaire Industrie & Technologies
Nous vous recommandons
production
Buisard robotise entièrement sa ligne de soudageL'ensemble robotisé ABB à 10 axes mis en place par Buisard dispose d'un rayon d'action de 4 mètres[…]
LES POMPES
LA SAGA DES INGÉNIEURS