Stem lander$ (all stems)
3 papers:
- AdaEurope-2015-BalazsBBHKPRSSS
- The Central on-Board Computer of the Philae Lander in the Context of the Rosetta Space Mission (AB, AB, HB, IH, OK, ZP, JR, WS, PS, JS, SS, LV), pp. 18–30.
- FM-2014-ZhaoYZGZC #verification
- Formal Verification of a Descent Guidance Control Program of a Lunar Lander (HZ, MY, NZ, BG, LZ, YC), pp. 733–748.
- KDD-1998-OliverRGBBW
- Analysing Rock Samples for the Mars Lander (JJO, TR, PG, WLB, RAB, SRW), pp. 299–303.