Testen und Verifizieren von Prozessrechnersoftware
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Forschungsbericht/Preprint |
| Publikationsjahr | 1979 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 270014134 Reportnummer: KFK-PDV 179 |
| Erscheinungsvermerk | KfK-PDV 179 (Dezember 79) |