Stem reme$ (all stems)
2 papers:
- SAC-2011-BoixNCMD #debugging #message passing #named
- REME-D: a reflective epidemic message-oriented debugger for ambient-oriented applications (EGB, CN, TVC, WDM, TD), pp. 1275–1281.
- ASE-2010-IvanovOSV #analysis #behaviour #embedded #modelling #set #tool support
- REMES tool-chain: a set of integrated tools for behavioral modeling and analysis of embedded systems (DI, MO, CCS, AV), pp. 361–362.