![](/img/cover-not-exists.png)
[Internet of Things] Security and Fault Tolerance in Internet of Things || Formal Verification for Security in IoT Devices
Chakraborty, Rajat Subhra, Mathew, Jimson, Vasilakos, Athanasios V.Volume:
10.1007/97
Year:
2019
Language:
english
DOI:
10.1007/978-3-030-02807-7_9
File:
PDF, 724 KB
english, 2019