Rigorous design and deployment of IoT applications.

Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salan

Browse the full ICSE paper archive.