Injecting faults to succeed. Verification of the boot software on-board solar orbiter's energetic particle detector
- 期刊名称Acta Astronautica
- 作者da Silva, Antonio; Sánchez, Sebastián; Polo, Óscar R.; Parra, Pablo
- 卷第95卷
- 印刷ISSN0094-5765
- 文件大小4430.55KB
- 发表时间2014-2
- DOI10.1016/j.actaastro.2013.11.004
- 页码198-209
同期刊推荐
Arabidopsis chloroplast quantitative editotypeRuwe, Hannes; Castandet, Benoit; Schmitz-Linneweber, Christian; Stern, David B. · FEBS Letters · 2013
The many faces of proteinsJust, Wilhelm · FEBS Letters · 2013
Metalloprotein-based MRI probesMatsumoto, Yuri; Jasanoff, Alan · FEBS Letters · 2013
Are amyloid fibrils molecular spandrels?Hane, Francis · FEBS Letters · 2013
Protein disulfide engineeringDombkowski, Alan A.; Sultana, Kazi Zakia; Craig, Douglas B. · FEBS Letters · 2014
Directed polymerase evolutionChen, Tingjian; Romesberg, Floyd E. · FEBS Letters · 2014
Antibiotics present and futureAltman, S. · FEBS Letters · 2014
The origins of enzyme kineticsCornish-Bowden, Athel · FEBS Letters · 2013