HLDVT'17 is happy to announce the following two embedded tutorials:


Oct 5th:
Prof. Fei Xie, Portland State University
“Hardware/Firmware/Software Co-validation for Secure Systems-on-Chips"


Oct 6th:
Prof. Pierluigi Nuzzo, University of Southern California
"Building Correct Industrial Cyber-Physical Systems: Formal Foundations, Methodology, and Tools"