Page tree

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Yip, E.; Kuo, M.; Roop. P. S., Broman, D., Relaxing the Synchronous Approach for Mixed-Criticality Systems, Proceedings of the 20th IEEE Real-Time and Embedded Technology and Application Symposium (RTAS), Berlin, Germany, April 15-17, 2014.

Niklas Rentz: Mendler, M, Roop, PS & Bodin, B 2016, A Novel WCET semantics of Synchronous Programs. In Formal Modeling and Analysis of Timed Systems: 14th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2016). Lecture Notes in Computer Science (LNCS), vol. 9884, Springer International Publishing, pp. 195-210. DOI: 10.1007/978-3-319-44878-7_12

...