Software validation and verification methodology in the nuclear field in Germany 1982
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Vortrag |
| Publikationsjahr | 1982 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 230017715 |
| Erscheinungsvermerk | 2nd Internat.Workshop on Safety and Reliability of Industrial Computer Systems (Safecomp '82), West Lafayette, Ind., October 11-14, 1982 |