Use of complementary methods to validate safety related software systems
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1978 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230011920 |
| Erscheinungsvermerk | 7.Triennial World Congress of the Internat.Federation of Automatic Control, Helsinki, June 12-16, 1978 |