M.D. Harrison, M. Drinnan, J.C. Campos, P. Masci, L. Freitas, C. di Maria and M. Whitaker
Safety analysis of software components of a dialysis machine using model checking
In FACS'17. (accepted)

@inproceedings{Harrison:2017,
 author = {M.D. Harrison and M. Drinnan and J.C. Campos and P. Masci and L. Freitas and C. di Maria and M. Whitaker},
 title = {Safety analysis of software components of a dialysis machine using model checking},
 booktitle = {FACS'17},
 note = {accepted}
}

Generated by mkBiblio 2.6.16