Imperial College London

ProfessorJulieMcCann

Faculty of EngineeringDepartment of Computing

Professor of Computer Systems
 
 
 
//

Contact

 

+44 (0)20 7594 8375j.mccann Website

 
 
//

Location

 

258ACE ExtensionSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inproceedings{Sevegnani:2018:10.1109/ICECCS2018.2018.00016,
author = {Sevegnani, M and Kabac, M and Calder, M and McCann, JA},
doi = {10.1109/ICECCS2018.2018.00016},
pages = {71--81},
publisher = {IEEE},
title = {Modelling and Verification of Large-Scale Sensor Network Infrastructures},
url = {http://dx.doi.org/10.1109/ICECCS2018.2018.00016},
year = {2018}
}

RIS format (EndNote, RefMan)

TY  - CPAPER
AU - Sevegnani,M
AU - Kabac,M
AU - Calder,M
AU - McCann,JA
DO - 10.1109/ICECCS2018.2018.00016
EP - 81
PB - IEEE
PY - 2018///
SP - 71
TI - Modelling and Verification of Large-Scale Sensor Network Infrastructures
UR - http://dx.doi.org/10.1109/ICECCS2018.2018.00016
UR - http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000458806400008&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202
ER -