Search Results for Machine theory - Narrowed by: İzmir Institute of Technology. Computer Engineering. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/tr_TR/default_tr/default_tr/qu$003dMachine$002btheory$0026qf$003dAUTHOR$002509Yazar$002509$0025C4$0025B0zmir$002bInstitute$002bof$002bTechnology.$002bComputer$002bEngineering.$002509$0025C4$0025B0zmir$002bInstitute$002bof$002bTechnology.$002bComputer$002bEngineering.$0026rm$003dTEZ$002bKOLEKSIYONU0$00257C$00257C$00257C1$00257C$00257C$00257C0$00257C$00257C$00257Ctrue$0026te$003dILS$0026ps$003d300? 2024-09-26T15:25:30Z Utilization of timed automata as a verification tool for real-time security protocols ent://SD_ILS/0/SD_ILS:106737 2024-09-26T15:25:30Z 2024-09-26T15:25:30Z by&#160;K&uuml;lah&ccedil;ıoğlu, Burcu.<br/><a href="http://hdl.handle.net/11147/3046">Access to Electronic Version.</a><br/>Format:&#160;El Yazması<br/> Fourier analysis based testing of finite state machines ent://SD_ILS/0/SD_ILS:2134017 2024-09-26T15:25:30Z 2024-09-26T15:25:30Z by&#160;Takan, Savaş, author.<br/><a href="https://hdl.handle.net/11147/7488">Access to Electronic Versiyon.</a><br/>Format:&#160;El Yazması<br/>