Academic Journal
Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation
| Τίτλος: | Verifying Cross-Layer Interactions Through Formal Model-Based Assertion Generation |
|---|---|
| Συγγραφείς: | Salehi Fathabadi, A., Dalvandi, M., Butler, M., Al-Hashimi, B.M. |
| Πηγή: | IEEE Embedded Systems Letters IEEE Embedded Syst. Lett. Embedded Systems Letters, IEEE. 12(3):83-86 Sep, 2020 |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISSN: | 19430663 19430671 |
|---|---|
| DOI: | 10.1109/LES.2019.2955316 |