dc.contributor.author |
Mohsin, Mujahid |
|
dc.date.accessioned |
2018-04-06T05:23:49Z |
|
dc.date.accessioned |
2020-04-11T15:33:48Z |
|
dc.date.available |
2020-04-11T15:33:48Z |
|
dc.date.issued |
2017 |
|
dc.identifier.uri |
http://142.54.178.187:9060/xmlui/handle/123456789/4914 |
|
dc.description.abstract |
N/A |
en_US |
dc.description.sponsorship |
Higher Education Commission, Pakistan |
en_US |
dc.language.iso |
en |
en_US |
dc.publisher |
National University of Computer & Emerging Sciences |
en_US |
dc.subject |
Computer science, information & general works |
en_US |
dc.title |
Formal Modeling for Automated Security Analytics of the Internet of Things |
en_US |
dc.type |
Thesis |
en_US |