Elemente einer Konstruktionsmethodik fuer zuverlaessige Betriebssysteme
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1978 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 230012653 |
| Erscheinungsvermerk | NTG-GI Diskussionssitzung: Zuverlaessigkeit von Rechensystemen, Karlsruhe, 28.-29.September 1978 |