Showing 1 - 2 results of 2 for search 'Mercer, E', query time: 0.02s Refine Results
  1. 1
    Dynamic verification of Multicore Communication applications in MCAPI

    Dynamic verification of Multicore Communication applications in MCAPI by Sharma, S, Gopalakrishnan, G, Mercer, E

    Published 2009
    Conference item
  2. 2
    MCC: A runtime verification tool for MCAPI user applications

    MCC: A runtime verification tool for MCAPI user applications by Sharma, S, Gopalakrishnan, G, Mercer, E, Holt, J

    Published 2009
    Conference item

Search Tools: