Author:
Ranganathan Anand,Campbell Roy H.
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A survey on verification strategies for intelligent transportation systems;Journal of Reliable Intelligent Environments;2018-10-19
2. ALChecker: A Tool for Checking Mobile Ambients;2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2018-10
3. Spatial-aware service management in a pervasive environment;Service Oriented Computing and Applications;2017-12-07
4. ROSA: Resource-Oriented Service Management Schemes for Web of Things in a Smart Home;Sensors;2017-09-21
5. Verification and Configuration of Smart Space Applications;Enablers for Smart Cities;2016-08-02