Analytic real-time analysis and timed automata
A hybrid methodology for the performance analysis of embedded real-time systems
OPEN ACCESS
Author / Producer
Date
2010-09
Publication Type
Journal Article
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
Permanent link
Publication status
published
External links
Editor
Book title
Journal / series
Volume
14 (3)
Pages / Article No.
193 - 227
Publisher
Springer
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Performance analysis; Timed automata; Real-time calculus; Hard real-time systems
Organisational unit
03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
Notes
Received 15 January 2010, Accepted 17 May 2010, Published online 16 June 2010. It was possible to publish this article open access thanks to a Swiss National Licence with the publisher