Browsing "Computer Engineering / Bilgisayar Mühendisliği" by Subject Formal methods
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) |
|---|---|---|
| 2009 | Protocol-based testing of firewalls | Tuğlular, Tuğkan ; Belli, Fevzi |
| 2023 | Spectral test generation for Boolean expressions | Ayav, Tolga |