K. Okroy

Publication Activity (10 Years)

Years Active: 1976-1977
Publications (10 Years): 0

Publications

K. Okroy, Manfred Kersken
Anwendung und Automatisierung der Analyse von Prozeßrechnerprogrammen. Fachtagung Prozessrechner (1977)
Wolfgang D. Ehrenberger, G. Rauch, K. Okroy
Program Analysis - A Method for the Verification of Software for the Control of a Nuclear Reactor. ICSE (1976)