FACS 2024

Speaker

Zikai Liu

ETH Zürich, Switzerland

Talks at this conference:
 Mon, 11:30 Verified fault handling for modern BMCs

 Overview