Show simple item record

dc.contributor.author
Lampka, Kai
dc.contributor.author
Perathoner, Simon
dc.contributor.author
Thiele, Lothar
dc.date.accessioned
2017-06-09T08:37:30Z
dc.date.available
2017-06-09T08:37:30Z
dc.date.issued
2010-09
dc.identifier.issn
0929-5585
dc.identifier.issn
1572-8080
dc.identifier.other
10.1007/s10617-010-9055-1
dc.identifier.uri
http://hdl.handle.net/20.500.11850/27956
dc.language.iso
en
dc.publisher
Springer
dc.subject
Performance analysis
dc.subject
Timed automata
dc.subject
Real-time calculus
dc.subject
Hard real-time systems
dc.title
Analytic real-time analysis and timed automata
dc.type
Journal Article
ethz.title.subtitle
A hybrid methodology for the performance analysis of embedded real-time systems
ethz.journal.title
Design automation for embedded systems
ethz.journal.volume
14
ethz.journal.issue
3
ethz.journal.abbreviated
Des. autom. embed. syst.
ethz.pages.start
193
ethz.pages.end
227
ethz.notes
Received 15 January 2010, Accepted 17 May 2010, Published online 16 June 2010.
ethz.identifier.nebis
001535748
ethz.publication.place
Berlin
ethz.publication.status
published
ethz.leitzahl
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar / Thiele, Lothar
ethz.leitzahl.certified
ETH Zürich::00002 - ETH Zürich::00012 - Lehre und Forschung::00007 - Departemente::02140 - Dep. Inf.technologie und Elektrotechnik / Dep. of Inform.Technol. Electrical Eng.::02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.::03429 - Thiele, Lothar / Thiele, Lothar
ethz.date.deposited
2017-06-09T08:37:53Z
ethz.source
ECIT
ethz.identifier.importid
imp59364d81e6bb835064
ethz.ecitpid
pub:46962
ethz.eth
yes
ethz.availability
Metadata only
ethz.rosetta.installDate
2017-07-19T01:36:32Z
ethz.rosetta.lastUpdated
2018-10-01T10:43:23Z
ethz.rosetta.versionExported
true
ethz.COinS
ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.atitle=Analytic%20real-time%20analysis%20and%20timed%20automata&rft.jtitle=Design%20automation%20for%20embedded%20systems&rft.date=2010-09&rft.volume=14&rft.issue=3&rft.spage=193&rft.epage=227&rft.issn=0929-5585&1572-8080&rft.au=Lampka,%20Kai&Perathoner,%20Simon&Thiele,%20Lothar&rft.genre=article&
 Search via SFX

Files in this item

FilesSizeFormatOpen in viewer

There are no files associated with this item.

Publication type

Show simple item record