Formal Verification of IoT Protocol: In Design-Time and Run-Time Perspective
Crossref DOI link: https://doi.org/10.1007/978-981-15-7345-3_74
Published Online: 2020-09-25
Published Print: 2021
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Geetha Lekshmy, V.
Kannimoola, Jinesh M.
Text and Data Mining valid from 2020-09-25
Version of Record valid from 2020-09-25
Chapter History
First Online: 25 September 2020