01/12/2023 – Talk: “Automated Graph Generation for the Assurance of Software-intensive Cyber-Physical Systems” By Daniel Varro
Daniel Varro will give a talk about his work on Automated Graph Generation for the Assurance of Software-intensive Cyber-Physical Systems. Details below. SPEAKER Daniel Varro, Prof., MCGill. TITLE Automated Graph Generation[…]