Browsing "04. Mühendislik Fakültesi / Faculty of Engineering" 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 |