Eine Pruefstrategie fuer sicherheitsrelevante Prozessrechner-Software
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1977 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 170010494 |
| Seiten | 479-88 |
| Erscheinungsvermerk | Informatik-Fachberichte. Bd 7. Hrsg.: W. Brauer. GMR-GI-GfK-Fachtagung Prozessrechner 1977, Augsburg, 7.-8.Maerz 1977. Berlin, Heidelberg, New York: Springer 1977. |