Formal specification of the software for a reactor safety system
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 1989 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 170028436 |
| HGF-Programm | 01.12.11 (Vor POF, LK 01) |
| Seiten | 33-40 |
| Erscheinungsvermerk | Genser, R. [Hrsg.] Safety of Computer Control Systems 1989 (Safecomp '89) : Proc.of the IFAC/IFIP Workshop, Wien, A, December 5-7, 1989 Oxford [u.a.] : Pergamon Pr., 1989 |