PCSL und ESPRESO - zwei Ansaetze zur Formalisierung der Prozessrechner-Softwarespezifikation
| 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 |