VERDI 2023

Speaker

André Matos Pedro

VORTEX-CoLab, Collaborative Laboratory in Cyberphysical Systems and Cybersecurity, Portugal.

Talks at this conference:
 15:15 llhsc: A Devicetree Syntax and Semantic Checker

 Overview