Verfahren und Werkzeuge zur Entwicklung von Software mit hohen Zuverlaessigkeitsanforderungen
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1979 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 230013845 |
| Erscheinungsvermerk | STRUCTO 79, Kongress fuer Software-Qualitaetskontrolle, Frankfurt/M., 17.-19.Oktober 1979 |