4 papers:
FM-2014-ShanWFZZWQC #using #verification- Formal Verification of Lunar Rover Control Software Using UPPAAL (LS, YW, NF, XZ, LZ, LW, LQ, JC), pp. 718–732.
- 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.
DHM-HB-2013-ZhangZLDW #optimisation- Optimization for Lunar Mission Training Scheme Based on AnyBody Software (JZ, RZ, JL, LD, LW), pp. 169–178.
- HCD-2009-Blasko-DrabikBB #game studies #physics #testing #usability
- Combining Fast-Paced Usability and Scientific Testing to Improve the Lunar Quest Physics Game (HBD, JB, CAB), pp. 23–26.
