Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata


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

Electronic Notes in Theoretical Computer Science, vol.238, no.6, pp.81-95, 2010 (Refereed Journals of Other Institutions) identifier

  • Publication Type: Article / Article
  • Volume: 238 Issue: 6
  • Publication Date: 2010
  • Doi Number: 10.1016/j.entcs.2010.06.006
  • Title of Journal : Electronic Notes in Theoretical Computer Science
  • Page Numbers: pp.81-95