Contribution to the Specification and Formal Analysis of Cyber-Physical Systems
A CoEIA cybersecurity lecture on the specification and formal analysis of cyber-physical systems, held at the Center and streamed on Zoom.
- Date
- 21 February 2023
- Time
- 10:00 AM
- Format
- Online Webinar
About the Lecture
CoEIA presents a cybersecurity lecture titled "Contribution to the Specification and Formal Analysis of Cyber-Physical Systems."
The lecture takes place at the Center and is streamed via Zoom for registered online attendees.
