KIT | KIT-Bibliothek | Impressum

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
Jahr 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