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 (Peer-Reviewed Journal) identifier

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