Browsing by Journal Title 4th South-East European Workshop on Formal Methods: Formal Methods for Web Services; Formal Methods for Agent-Based Systems, SEEFM 2009
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2009 | Protocol-based testing of firewalls | Tuğlular, Tuğkan ; Belli, Fevzi |