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. On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems. In Jian-Jia Chen, editor, A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday. pages 37-55, Springer, 2021. [doi]

@inproceedings{ChenHBCU21,
  title = {On the Formalism and Properties of Timing Analyses in Real-Time Embedded Systems},
  author = {Jian-Jia Chen and Wen-Hung Huang and Georg von der Brüggen and Kuan-Hsun Chen and Niklas Ueter},
  year = {2021},
  doi = {10.1007/978-3-030-47487-4_4},
  url = {https://doi.org/10.1007/978-3-030-47487-4_4},
  researchr = {https://researchr.org/publication/ChenHBCU21},
  cites = {0},
  citedby = {0},
  pages = {37-55},
  booktitle = {A Journey of Embedded and Cyber-Physical Systems - Essays Dedicated to Peter Marwedel on the Occasion of His 70th Birthday},
  editor = {Jian-Jia Chen},
  publisher = {Springer},
  isbn = {978-3-030-47487-4},
}