![](/img/cover-not-exists.png)
A Framework for Implementing Formally Verified Resource-Bounded Smart Space Systems
Ijaz Uddin,Abdur Rakib,Hafiz Mahfooz Ul HaqueVolume:
22
Language:
english
Journal:
Mobile Networks and Applications
DOI:
10.1007/s11036-017-0808-y
Date:
April, 2017
File:
PDF, 3.14 MB
english, 2017