SODA

Anquiro: Enabling Efficient Static Verification of Sensor Network Software

Mottola, Luca and Voigt, Thiemo and Österlind, Fredrik and Eriksson, Joakim and Baresi, Luciano and Ghezzi, Carlo (2010) Anquiro: Enabling Efficient Static Verification of Sensor Network Software. In: 1st International Workshop on Software Engineering for Sensor Networks (SESENA), 2010.

Full text not available from this repository.


Item Type:Conference or Workshop Item (Paper)
ID Code:3968
Deposited By:Luca Mottola
Deposited On:25 May 2010 11:43
Last Modified:12 Dec 2014 13:57

Repository Staff Only: item control page