Logo image
Open Research University homepage
Surrey researchers Sign in
Formal Verification of the Cooperative Behaviour of Network Nodes for Routing and Context Dissemination
Conference presentation   Open access   Peer reviewed

Formal Verification of the Cooperative Behaviour of Network Nodes for Routing and Context Dissemination

S Georgoulas, K Moessner, D Eracleous and M Nati
Future Network & Mobile Summit (FutureNetw), 2012
Future Network and Mobile Summit 2012 (Berlin, Germany, 04/07/2012–06/07/2012)
03/09/2012

Abstract

pdf
06294319449.51 kBDownloadView
TextSRIDA Open Access
url
http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=6294319View
Published (Version of record)

Metrics

Details

Logo image

Usage Policy