Krichen, M. (2023). Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities. Mobile networks and applications, 28(2), 732-743. https://doi.org/10.1007/s11036-019-01369-6
Chicago-Zitierstil (17. Ausg.)Krichen, Moez. "Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities." Mobile Networks and Applications 28, no. 2 (2023): 732-743. https://doi.org/10.1007/s11036-019-01369-6.
MLA-Zitierstil (9. Ausg.)Krichen, Moez. "Improving Formal Verification and Testing Techniques for Internet of Things and Smart Cities." Mobile Networks and Applications, vol. 28, no. 2, 2023, pp. 732-743, https://doi.org/10.1007/s11036-019-01369-6.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.