Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme

Andreas Oberweis. Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme. In Wilfried Gerth, Per Baacke, editors, PEARL 90, Workshop über Realzeitsysteme, 11. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 29./30. November 1990, Proceedings. Volume 262 of Informatik-Fachberichte, pages 44-58, Springer, 1990.

@inproceedings{Oberweis90,
  title = {Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme},
  author = {Andreas Oberweis},
  year = {1990},
  tags = {exceptions},
  researchr = {https://researchr.org/publication/Oberweis90},
  cites = {0},
  citedby = {0},
  pages = {44-58},
  booktitle = {PEARL 90, Workshop über Realzeitsysteme, 11. Fachtagung des PEARL-Vereins e.V. unter Mitwirkung von GI und GMA, Boppard, 29./30. November 1990, Proceedings},
  editor = {Wilfried Gerth and Per Baacke},
  volume = {262},
  series = {Informatik-Fachberichte},
  publisher = {Springer},
  isbn = {3-540-53464-4},
}