Hard real-time guarantees in cyber-physical systems
Loading...
Author / Producer
Date
2014
Publication Type
Doctoral Thesis
ETH Bibliography
yes
Citations
Altmetric
Data
Rights / License
Publication status
published
External links
Editor
Contributors
Examiner : Thiele, Lothar
Examiner : Baruah, Sanjoy
Book title
Journal / series
Volume
143
Pages / Article No.
Publisher
ETH Zurich
Event
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
REAL-TIME SYSTEMS + EMBEDDED SYSTEMS (COMPUTER SYSTEMS); ECHTZEITSYSTEME + EINGEBETTETE SYSTEME (COMPUTERSYSTEME); ZUVERLÄSSIGKEIT + FEHLERTOLERANZ (SOFTWARE ENGINEERING); RELIABILITY + FAULT-TOLERANCE (SOFTWARE ENGINEERING); KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); CORRECTNESS (THEORY OF PROGRAMMING)
Organisational unit
03429 - Thiele, Lothar (emeritus) / Thiele, Lothar (emeritus)
01207 - SR Elektrotechnik und Informationstechn.
02640 - Inst. f. Technische Informatik und Komm. / Computer Eng. and Networks Lab.