Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme

Rupert Gnatz. Funktionelle Spezifikation interaktiver Systeme und ihre Zerlegung in Teilsysteme. In Hans Wössner, editor, Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings. Volume 53 of Informatik-Fachberichte, pages 45-65, Springer, 1982.

Abstract

Abstract is missing.