Stem subway$ (all stems)
2 papers:
- HCI-AUII-2009-Dai #design #research
- Nine Assistant Guiding Methods in Subway Design — A Research of Shanghai Subway Users (LD), pp. 125–132.
- ESEC-1991-DauchyM #algebra #automation #specification #testing
- Test Data Selection From Algebraic Specifications: Application to an Automatic Subway Module (PD, BM), pp. 80–100.