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)

• 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