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.

No reviews for this publication, yet.