Login / Signup
On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems.
Jian-Jia Chen
Wen-Hung Huang
Georg von der Brüggen
Kuan-Hsun Chen
Niklas Ueter
Published in:
A Journey of Embedded and Cyber-Physical Systems (2021)
Keyphrases
</>
real time embedded systems
structural properties
knowledge base
high level
search algorithm
formal model
desirable properties
data sets
real world
information systems
image segmentation
three dimensional
trade off
statistical analysis
situation calculus
formal language