LA SAGA DES INGÉNIEURS JOSEPH SIFAKIS EN 1982, IL INVENTE LE MODEL CHECKING

Publié le 01/02/2009

Sujets relatifs :

Sommaire, HORIZONS

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 & Technologies

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[…]

01/04/2009 | Sommaire, DOSSIER

Production

ÉVÉNEMENT

audiovisuel

Plus d'articles