Zugehörige Institution(en) am KIT | Institut für Datenverarbeitung in der Technik (IDT) |
Publikationstyp | Buchaufsatz |
Publikationsjahr | 1990 |
Sprache | Englisch |
Identifikator | KITopen-ID: 150021517 |
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.115-46 Nikitin, A.I. [Hrsg.] Proverka i utverzolanie programm real'nogo vremeni Kiev : Naukova Dumka, 1990 S.109 |