Entwicklung und Erprobung einer Pruefstrategie fuer sicherheitsrelevante Rechnersysteme
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 1980 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 120014627 |
| Erschienen in | KfK-Nachrichten |
| Band | 12 |
| Seiten | 19-23 |
| Erscheinungsvermerk | No 1-2 |