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 |