Avoid common mistakes on your manuscript.
Retraction Note: Soft Computing (2022) 26:4915–4928 https://doi.org/10.1007/s00500-022-06897-0
The authors have retracted this article because the work it reports has been published previously by a different author group (Wang et al. 2018). All authors agree with this retraction.
Reference
Wang G, Zhuang L, Wang R, Song Y, Zhang K (2018) Modeling and verifying based on timed automata of Internet of things gateway security system. J Commun 39(3):63–75
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
About this article
Cite this article
Kamakshi, P., Bhavani, Y., Bhaskar, A. et al. Retraction Note: Verification and modeling of IoT time automata for gateway security system. Soft Comput 27, 14529 (2023). https://doi.org/10.1007/s00500-023-09081-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-023-09081-0