Stem omap$ (all stems)
2 papers:
- SAC-2008-LuizVS #framework #specification
- Formal specification of DSP gateway for data transmission between processor cores of OMAP platform (SODL, GdMV, LDdS), pp. 1545–1549.
- SEKE-2006-WongRLO #embedded #testing
- Coverage Testing Embedded Software on Symbian/OMAP (WEW, SR, JL, JO), pp. 473–478.