An Empirical Evaluation of the MC/DC Coverage Criterion of the HETE-2 Satellite Software
19th, Digital avionics systems conference; 19th DASC ; 2000 ; Philadelphia, PA
2000-01-01
1B6
IEEE cat nos 00CH37126
Aufsatz (Konferenz)
Englisch
digital avionics systems , IEEE , DASC , AIAA , aeronautics , astronautics
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Alexis and Hete: Two small, low cost, scientific satellite systems
British Library Conference Proceedings | 1993
|Ontstekingsgevaar Hete Oppervlakken
British Library Online Contents | 1997
New concept of small satellite, HETE-2 and its sci...
AIAA | 2005
|Hete pleken op satelietbeelden
Online Contents | 2006