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

Gérard Berry (1)

1 INDES - Secure Diffuse Programming

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: circuit; informatisation; bug application; preuve formelle

Domaines: Web; Réseaux et télécommunications [cs.NI]

Gérard Berry. L’informatisation des objets, ou l’invasion des pucerons. Interstices, 2007. ⟨hal-01350317⟩