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 Formal Aspects of Component Software, volume 10487 of Lecture Notes in Computer Science, pages 137-154. Springer. 2017.

@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 = {Formal Aspects of Component Software},
 pages = {137-154},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 volume = {10487},
 year = {2017},
  keywords = {_ivy}
}

Generated by mkBiblio 2.6.16