Citation: W. Bastl et Hw. Bock, GERMAN QUALIFICATION AND ASSESSMENT OF DIGITAL I-AND-C SYSTEMS IMPORTANT TO SAFETY, Reliability engineering & systems safety, 59(2), 1998, pp. 163-170
Citation: Hw. Bock et A. Graf, TYPE TESTING - THE GERMAN APPROACH TO QUALIFYING SAFETY-CRITICAL SOFTWARE, Nuclear engineering international, 41(509), 1996, pp. 20