Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata

Copy For Citation

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

Electronic Notes in Theoretical Computer Science, vol.238, no.6, pp.81-95, 2010 (Scopus)

• 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
• Istanbul Technical University Affiliated: Yes