![](/img/cover-not-exists.png)
A context-aware framework for modelling and verification of smart parking systems in urban cities
Mahfooz Ul Haque, Hafiz, Zulfiqar, Haidar, Ahmed, Abrar, Ali, YasirLanguage:
english
Journal:
Concurrency and Computation: Practice and Experience
DOI:
10.1002/cpe.5401
Date:
June, 2019
File:
PDF, 1.16 MB
english, 2019