Structural analysis and proof
| Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
| Publikationstyp | Buchaufsatz |
| Publikationsjahr | 1990 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 150021516 |
| HGF-Programm | 18.01.05 (Vor POF, LK 01) |
| Erscheinungsvermerk | Quirk, W.J. [Hrsg.] Verification and validation of real-time software Berlin [u.a.]: Springer, 1985. - S.57-114 Nikitin, A.I. [Hrsg.] Proverka i utverzolanie programm real'nogo vremeni Kiev : Naukova Dumka, 1990 S.63 |