Stem nanomachin$ (all stems)
1 papers:
ICSE-2012-LutzLLKHMS #programmable #requirements #self #verification- Engineering and verifying requirements for programmable self-assembling nanomachines (RRL, JHL, JIL, TK, EH, DM, DAS), pp. 1361–1364.
ICSE-2012-LutzLLKHMS #programmable #requirements #self #verification