6
July
2023
Verifiability Talk 56: “Highlights of Model Checking and Runtime Verification of Aerospace Systems”
Title: Highlights of Model Checking and Runtime Verification of Aerospace Systems
Speaker: Kristin Rozier
Date: 6.7.2023
Time: 16:00 – 17:00 (BST)
Link (Teams): https://bit.ly/verifiabilitykr