Select Publications

Other

Pinisetty S; Allen N; Pearce H; Trew M; Gaur MS; Roop P, 2022, Formal Methods for the Security of Medical Devices1, http://dx.doi.org/10.1002/9781119743187.ch3


Back to profile page