Templates as heuristics for proving properties of medical devices

M. Harrison, J.C. Campos, P. Masci and P. Curzon
In 5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies". ACM. 2015.

  visit publisher

@InProceedings{HarrisonCMC:2015,
 author = {M. Harrison and J.C. Campos and P. Masci and P. Curzon},
 title = {Templates as heuristics for proving properties of medical devices},
 booktitle = {5th EAI International Conference on Wireless Mobile Communication and Healthcare - "Transforming healthcare through innovations in mobile and wireless technologies"},
 publisher = {ACM},
 year = {2015},
 doi = {10.4108/eai.14-10-2015.2261743}
}

Generated by mkBiblio 2.6.11