Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation
| Title: | Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation |
|---|---|
| Authors: | Salehi Fathabadi, A.; Dalvandi, M.; Butler, M.; Al-Hashimi, B.M. |
| Source: | IEEE Embedded Systems Letters IEEE Embedded Syst. Lett. Embedded Systems Letters, IEEE. 12(3):83-86 Sep, 2020 |
| Database: | IEEE Xplore Digital Library |