A Space and Time Requirements Logic for Sensor Networks.

Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz

Browse the full ISoLA paper archive.