A survey of methods for the validation of safety related software
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1979 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 170013203 |
| Seiten | 95-103 |
| Erscheinungsvermerk | Lauber, R. [Hrsg.] Safety of Computer Control Systems. Proc.of the IFAC Workshop, Stuttgart, May 16-18, 1979. Oxford: Pergamon Pr. 1980 |