Structural analysis and proof

Taylor, J. R.; Voges, U.; Puhr-Westerheide, P.; Quirk, W. J.

Seitenaufrufe: 15
seit 10.05.2018

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