Salehi Fathabadi, A., Dalvandi, M., Butler, M., & Al-Hashimi, B. (2020). Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation. IEEE Embedded Systems Letters, Embedded Systems Letters, IEEE, IEEE Embedded Syst. Lett., 12(3), 83. https://doi.org/10.1109/LES.2019.2955316
Παραπομπή σε μορφή Chicago (17η εκδ.)Salehi Fathabadi, A., M. Dalvandi, M. Butler, και B.M Al-Hashimi. "Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation." IEEE Embedded Systems Letters, Embedded Systems Letters, IEEE, IEEE Embedded Syst. Lett. 12, no. 3 (2020): 83. https://doi.org/10.1109/LES.2019.2955316.
Παραπομπή σε μορφή MLA (9th εκδ.)Salehi Fathabadi, A., et al. "Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation." IEEE Embedded Systems Letters, Embedded Systems Letters, IEEE, IEEE Embedded Syst. Lett., vol. 12, no. 3, 2020, p. 83, https://doi.org/10.1109/LES.2019.2955316.