Towards verifying correctness of wireless sensor network applications using Insense and Spin
- Oliver Sharma
- , Jonathan Peter Lewis
- , Alice Miller
- , Alan Dearle
- , Dharini Balasubramaniam
- , Ronald Morrison
- , Joe Sventek
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution