L'informatisation des objets,ou l'invasion des pucerons

Les systèmes embarqués envahissent tous les pans de l'industrie,depuis l'avionique jusqu'aux objets de la vie courante. Doit-on redouter cette évolution technologique ? Regardez cette conférence de Gérard Berry...

Mots-clés : informatisation,bug application,preuve formelle,circuit,fuscia
Type de document : texte,image,ressource interactive
Type de ressource : lecture,démonstration
Niveau : higher education
Publics visés : learner
Auteurs ou éditeurs : Gérard Berry,Institut National de Recherche en Informatique et en Automatique / Interstices