Verfahren zur Entwicklung zuverlaessiger Prozessrechner-Software
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1981 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 230015686 |
| Erscheinungsvermerk | Vortr.: Institut fuer Informatik, Johannes Kepler Universitaet, Linz, A, 17.Dezember 1980 |