A context‐aware framework for modelling and verification of smart parking systems in urban cities

Autor:	Haidar Zulfiqar, Abrar Ahmed, Yasir Ali, Hafiz Mahfooz Ul Haque
Rok vydání:	2019
Předmět:	Model checking Computational Theory and Mathematics Computer Networks and Communications Computer science Context awareness Context (language use) Data science Smart parking Software Computer Science Applications Theoretical Computer Science
Zdroj:	Concurrency and Computation: Practice and Experience. 33
ISSN:	1532-0634 1532-0626
DOI:	10.1002/cpe.5401
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3c744cc239759af911eb2bcaf19137ab https://doi.org/10.1002/cpe.5401 Zobrazit plný text záznamu Plný text