Browsing by Author Aytaç, İsmail Sıtkı
Showing results 21 to 23 of 23
< previous
| Issue Date | Title | Author(s) |
|---|---|---|
| 2010 | Utilization of timed automata as a verification tool for real-time security protocols | Külahçıoğlu, Burcu |
| 2003 | Web and Java based architecture for laboratory experiments | Tutum, Mustafa Özgür |
| 1999 | Web based user accounting system for internet service providers | Balcı, Murat |