Yi Tian Liu

2PUBLICATIONS
3CO-AUTHORS
Formal methods for softwareHardware security
Featured researcher

Get your video featured.

JoVEPublish with JoVE
Journal

Publications (2)

|Dec 05, 2022
Safety warning: LCD screen failure with a Datex-Ohmeda Aisys™ CS2 anesthesia machine.

Yi Tian Liu, Himat Vaghadia

Pageof 1