BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
control (2)
base (2)
implement (1)
mobil (1)
use (1)

Stem rover$ (all stems)

4 papers:

FMFM-2014-ShanWFZZWQC #using #verification
Formal Verification of Lunar Rover Control Software Using UPPAAL (LS, YW, NF, XZ, LZ, LW, LQ, JC), pp. 718–732.
ICLPCL-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.
LCTESLCT-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.
SOSPSOSP-1995-JosephdTGK #information management #mobile #named #tool support
Rover: A Toolkit for Mobile Information Access (ADJ, AFd, JAT, DKG, MFK), pp. 156–171.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.