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 |