Skip to main content
Department of Information Technology

Learning Minimal Separating DFA's for Compositional Verification

Speaker

Adam Dunkels

Date and Time

Thursday, May 14th, 2009, at 13.30.

Location

Polacksbaken, room 1146

Abstract

Wireless sensor networks have been an active research field for ten years, but despite the large research effort sensor networks have not yet reached mainstream adoption. Or have they? In this talk I present my take on what the next step for sensor networks is on their way towards worldwide adoption. I will talk about the latest developments in the Contiki operating system and about the upcoming Promos project.

Back to the seminar page

Updated  2009-05-14 09:42:16 by Frédéric Haziza.