TYPE TESTING - THE GERMAN APPROACH TO QUALIFYING SAFETY-CRITICAL SOFTWARE

Authors
BOCK HW GRAF A
Citation
Hw. Bock et A. Graf, TYPE TESTING - THE GERMAN APPROACH TO QUALIFYING SAFETY-CRITICAL SOFTWARE, Nuclear engineering international, 41(509), 1996, pp. 20
Citations number
NO
Categorie Soggetti
Nuclear Sciences & Tecnology
Journal title
Nuclear engineering international → ACNP
ISSN journal
00295507
Volume
41
Issue
509
Year of publication
1996
Database
ISI
SICI code
0029-5507(1996)41:509<20:TT-TGA>2.0.ZU;2-T