ARAMA SONUÇLARI

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

Arama









Yıllara göre arama

Özel Aralık Girişi

Attacking state space explosion problem in model checking embedded TV software
IEEE Transactions on Consumer Electronics, Washington DC/AMERİKA BİRLEŞİK DEVLETLERİ, Vol. 61, No. 4, Kasım 2015, s. 572-579, ISSN: 0098-3063
CÖMERT FURKAN,OVATMAN TOLGA
Tolga Ovatman Özgün Makale Model Sınama
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