Aspects of design, test and validation of the software for a computerized reactor protection system
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1976 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 170009817 |
| Seiten | 606-10 |
| Erscheinungsvermerk | 2. Internat. Conference on Software Engineering, San Francisco, October 13-15, 1976. Proceedings. New York, N.Y.: IEEE 1976. |