ARAMA SONUÇLARI

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

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

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