Korrekte Software (KORSO). Teilvorhaben: Entwicklung und Verifikation verteilter Systemsoftware Abschlussbericht

Bohn, J.
Olderog, E.R.
Hungar, H.
Dietz, C.
Damm, W.
Oldenburg Univ. (Germany). Fachbereich 10 - Informatik

Publication date

January 1994

Abstract

Available from TIB Hannover: DtF QN1(25,58) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekSIGLEBundesministerium fuer Forschung und Technologie (BMFT), Bonn (Germany)DEGerman

Extracted data

We use cookies to provide a better user experience.

Data Protection

Korrekte Software (KORSO). Teilvorhaben: Entwicklung und Verifikation verteilter Systemsoftware Abschlussbericht

Abstract

Extracted data

Korrekte Software (KORSO). Teilvorhaben: Entwicklung und Verifikation verteilter Systemsoftware Abschlussbericht

Abstract

Extracted data

Related items

Related items