مؤتمر
Layered Formal Verification of a TCP Stack
| العنوان: | Layered Formal Verification of a TCP Stack |
|---|---|
| المؤلفون: | Cluzel, Guillaume, Georgiou, Kyriakos, Moy, Yannick, Zeller, Clement |
| المصدر: | 2021 IEEE Secure Development Conference (SecDev) SECDEV Secure Development Conference (SecDev), 2021 IEEE. :86-93 Oct, 2021 |
| Relation: | 2021 IEEE Secure Development Conference (SecDev) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
| ردمك: | 9781665431705 |
|---|---|
| DOI: | 10.1109/SecDev51306.2021.00028 |