ARAMA SONUÇLARI

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

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, 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