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.
CL-2000-DavulcuYKR #design #experience #implementation #physics- Design and Implementation of the Physical Layer in WebBases: The XRover Experience (HD, GY, MK, IVR), pp. 1094–1105.
LCT-RTS-1995-SchneiderCSP #component #programming #realtime- The ControlShell Component-Based Real-Time Programming System, and its Application to the Marsokhod Martian Rover (SAS, VWC, JS, GPC), pp. 146–155.
SOSP-1995-JosephdTGK #information management #mobile #named #tool support- Rover: A Toolkit for Mobile Information Access (ADJ, AFd, JAT, DKG, MFK), pp. 156–171.
