ARAMA SONUÇLARI

Toplam 4 adet sonuçtan 4 tanesi görüntülenmektedir.

Arama









Yıllara göre arama

Özel Aralık Girişi

Software based optimization of channel utilization in cognitive radio networks using priced timed automata
45th Annual Simulation Symposium, 26 Mart 2012
OVATMAN TOLGA,CANBERK BERK
Spectrum utility optimization by Priced Timed Automata model under heterogeneous Primary User traffics in CR networks
2012 IEEE Globecom Workshops, 3 Aralık 2012
CANBERK BERK,OVATMAN TOLGA
An overview of model checking practices on verification of PLC software
Software & Systems Modeling, Berlin/ALMANYA, Vol. 15, No. 4, Ekim 2016, s. 937-960, ISSN: 1619-1366
ARAL ATAKAN,OVATMAN TOLGA,DAVUT POLAT,ALİ OSMAN ÜNVER
Cost Analysis for Embedded Systems Experiments with Priced Timed Automata
Electronic Notes in Theoretical Computer Science, Vol. 238, No. 6, Haziran 2010, s. 81-95, ISSN: 15710661
OVATMAN TOLGA,ASKE BREKLİNG,MİCHAEL HANSEN

İLETİŞİM BİLGİLERİ

İstanbul Teknik Üniversitesi Rektörlüğü İTÜ Ayazağa Kampüsü Rektörlük Binası, Maslak-Sarıyer / İstanbul Tel: +90 212 285 3930