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 (Diğer Kurumların Hakemli Dergileri)

• Cilt numarası: 238 Konu: 6
• Basım Tarihi: 2010
• Doi Numarası: 10.1016/j.entcs.2010.06.006
• Dergi Adı: Electronic Notes in Theoretical Computer Science
• Sayfa Sayıları: ss.81-95