Introductory video on “Runtime Verification Based on Formal Specifications” by Giann Nandi from Instituto Superior de Engenharia do Porto, in the scope of the first part of VALU3S 1st training session that took place online on the 25th of March 2021.. Watch it here: https://lnkd.in/ez6yk6J
- Watch the VALU3S training session series, part four: Introduction to Model Checking
- VALU3S Consortium Meeting on 18th-19th May
- Watch the VALU3S training session series, part three: Risk Analysis for Secure Automated Systems.
- Watch the VALU3S training session series, part one: Wireless Interface Network Security Assessment.
- Blog article: How Security of Automated systems is exploiting risk assessment as countermeasure against cyber-threats