Select Publications
Other
2022, Formal Methods for the Security of Medical Devices1, Wiley, http://dx.doi.org/10.1002/9781119743187.ch3
,Select Publications
2022, Formal Methods for the Security of Medical Devices1, Wiley, http://dx.doi.org/10.1002/9781119743187.ch3
,