A Space and Time Requirements Logic for Sensor Networks

2006 ◽  
Author(s):  
Rachel Cardell-Oliver ◽  
Mark Reynolds ◽  
Mark Kranz
Keyword(s):  
Sensor Networks ◽  
Space And Time ◽  
Time Requirements

scholarly journals Verifying Space and Time Requirements for Resource-Bounded Agents

2007 ◽  
pp. 19-34
Author(s):  
Natasha Alechina ◽  
Piergiorgio Bertoli ◽  
Chiara Ghidini ◽  
Mark Jago ◽  
Brian Logan ◽  
...  
Keyword(s):  
Space And Time ◽  
Time Requirements

scholarly journals Towards a unified view on space and time in sensor networks

2005 ◽  
Vol 28 (13) ◽  
pp. 1484-1497 ◽  
Author(s):  
Kay Römer ◽  
Friedemann Mattern
Keyword(s):  
Sensor Networks ◽  
Space And Time ◽  
Unified View

Languages in Space and Time

2020 ◽  
Author(s):  
Marco Patriarca ◽  
Els Heinsalu ◽  
Jean Leó Leonard
Keyword(s):  
Space And Time
Sign in / Sign up

Export Citation Format

Share Document