Spezifikation und Verifikation von sicherheitsrelevanten Systemen
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1990 |
| Sprache | Deutsch |
| Identifikator | KITopen-ID: 230028806 |
| HGF-Programm | 18.01.05 (Vor POF, LK 01) |
| Erscheinungsvermerk | Vortr.: Technische Hochschule Darmstadt, 8.Februar 1990 |