Ein Testverfahren fuer Software mit hohen Zuverlaessigkeitsanforderungen
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1976 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 230009816 |
| Erscheinungsvermerk | GI-Jahrestagung, Gesellschaft fuer Informatik, Stuttgart, 29.September - 1.Oktober 1976 |