KIT | KIT-Bibliothek | Impressum | Datenschutz

PCSL und ESPRESO - zwei Ansaetze zur Formalisierung der Prozessrechner-Softwarespezifikation

Ludewig, J.


Zugehörige Institution(en) am KIT Institut für Datenverarbeitung in der Technik (IDT)
Publikationstyp Vortrag
Publikationsjahr 1981
Sprache Deutsch
Identifikator KITopen-ID: 230015684
Erscheinungsvermerk Fachtagung ueber Prozessrechner, Muenchen, 9.-11.Maerz 1981
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page