Formal analysis of policies in wireless sensor network applications

Marco Patrignani, Nelson Matthys, José Proença, Danny Hughes, Dave Clarke
January 2012
PDF DOI
Type
Conference paper
Publication
Third International Workshop on Software Engineering for Sensor Network Applications, SESENA 2012, 2 June 2012, Zurich, Switzerland, Proceedings