Analysis of costs of embedded systems: experiments with priced timed automata

Tolga Ovatman, Aske Wiid Brekling, Michael Reichhardt Hansen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Formal Foundations of Embedded Software and Component-Based Software Architectures : FESCA@ETAPS
Publisher	Elsevier
Publication date	2008
Pages	1-14
Publication status	Published - 2008
Event	Formal Foundations of Embedded Software and Component-Based Software Architectures - Budapest, Hungary Duration: 1 Jan 2008 → …

Conference	Formal Foundations of Embedded Software and Component-Based Software Architectures
City	Budapest, Hungary
Period	01/01/2008 → …

Cite this

@inproceedings{3777c23e49ca40b2991c6a1de2bbc08c,

title = "Analysis of costs of embedded systems: experiments with priced timed automata",

author = "Tolga Ovatman and Brekling, {Aske Wiid} and Hansen, {Michael Reichhardt}",

year = "2008",

language = "English",

pages = "1--14",

booktitle = "Formal Foundations of Embedded Software and Component-Based Software Architectures",

publisher = "Elsevier",

address = "United Kingdom",

note = "Formal Foundations of Embedded Software and Component-Based Software Architectures ; Conference date: 01-01-2008",

}

Formal Foundations of Embedded Software and Component-Based Software Architectures: FESCA@ETAPS. Elsevier, 2008. p. 1-14.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Analysis of costs of embedded systems: experiments with priced timed automata

AU - Ovatman, Tolga

AU - Brekling, Aske Wiid

AU - Hansen, Michael Reichhardt

PY - 2008

Y1 - 2008

M3 - Article in proceedings

SP - 1

EP - 14

BT - Formal Foundations of Embedded Software and Component-Based Software Architectures

PB - Elsevier

T2 - Formal Foundations of Embedded Software and Component-Based Software Architectures

Y2 - 1 January 2008

ER -