A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications
Crossref DOI link: https://doi.org/10.1007/s12927-019-0003-8
Published Online: 2019-06-30
Published Print: 2019-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Souri, Alireza
Norouzi, Monire
Text and Data Mining valid from 2019-06-01
Version of Record valid from 2019-06-01
Article History
Received: 21 February 2018
Accepted: 31 May 2019
First Online: 30 June 2019