Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata

Atıf İçin Kopyala

Ovatman T., BREKLING A. W., HANSEN M. R.

Electronic Notes in Theoretical Computer Science, cilt.238, sa.6, ss.81-95, 2010 (Scopus)

• Yayın Türü: Makale / Tam Makale
• Cilt numarası: 238 Sayı: 6
• Basım Tarihi: 2010
• Doi Numarası: 10.1016/j.entcs.2010.06.006
• Dergi Adı: Electronic Notes in Theoretical Computer Science
• Derginin Tarandığı İndeksler: Scopus
• Sayfa Sayıları: ss.81-95
• İstanbul Teknik Üniversitesi Adresli: Evet