The specification and analysis of use properties of a nuclear control system

Harrison, M.D., Masci, P.M., Campos, J.C. and Curzon, P.
In Weyers, B., Palanque, P., Bowen, J. and Dix, A., editors, The Handbook on Formal Methods in Human Computer Interaction, Human-Computer Interaction Series. Springer. (in press)

@incollection{HarrisonMCC:2017,
 author = {Harrison, M.D. and Masci, P.M. and Campos, J.C. and Curzon, P.},
 title = {The specification and analysis of use properties of a nuclear control system},
 editor = {Weyers, B. and Palanque, P. and Bowen, J. and Dix, A.},
 publisher = {Springer},
 series = {Human-Computer Interaction Series},
 booktitle = {The Handbook on Formal Methods in Human Computer Interaction},
 note = {in press}
}

Generated by mkBiblio 2.6.11