Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata


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

Electronic Notes in Theoretical Computer Science, cilt.238, ss.81-95, 2010 (Diğer Kurumların Hakemli Dergileri) identifier

  • 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