Reusable formal models for concurrency and communication in custom real-time operating systems

Julius Adelt, Julian Gebker, Paula Herber. Reusable formal models for concurrency and communication in custom real-time operating systems. STTT, 26(2):229-245, April 2024. [doi]

@article{AdeltGH24,
  title = {Reusable formal models for concurrency and communication in custom real-time operating systems},
  author = {Julius Adelt and Julian Gebker and Paula Herber},
  year = {2024},
  month = {April},
  doi = {10.1007/s10009-024-00743-4},
  url = {https://doi.org/10.1007/s10009-024-00743-4},
  researchr = {https://researchr.org/publication/AdeltGH24},
  cites = {0},
  citedby = {0},
  journal = {STTT},
  volume = {26},
  number = {2},
  pages = {229-245},
}