C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Resource-Parameterized Timing Analysis of Real-Time Systems.
Jin Hyun Kim
Axel Legay
Kim Guldstrand Larsen
Marius Mikucionis
Brian Nielsen
Published in:
Haifa Verification Conference (2015)
Keyphrases
</>
real time systems
real time
distributed systems
embedded systems
resource allocation
mission critical
real time database systems
resource management
object oriented programming language
resource constraints
resource usage
machine learning
computer science
timing constraints
embedded real time systems