A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications

Alireza Souri, Monire Norouzi. A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications. JoSSR, 11(1):47-67, 2019. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.