| 000 | 00564nam a2200157 4500 | ||
|---|---|---|---|
| 082 | _a200 | ||
| 100 | _aMohsin Mujahid | ||
| 245 |
_aFormal modeling for automated security analytics of the internet of things/ _cMujahid Mohsin |
||
| 260 |
_aIslamabad _bNUST-SEECS _c2017 |
||
| 300 |
_a208p. _eCD Includes _bill; _c30,cm. |
||
| 650 |
_aPhD-Computer Science _9123747 |
||
| 700 |
_aSupervisors: Dr. Hanif Durad, _9124760 |
||
| 856 | _uhttp://10.250.8.41:8080/xmlui/handle/123456789/26336 | ||
| 942 |
_2ddc _cSC |
||
| 999 |
_c332383 _d332383 |
||