> ## Content Index
> Fetch the complete content index at: https://coeia.edu.sa/llms.txt
> Use this file to discover other available public pages before exploring further.

# Contribution to the Specification and Formal Analysis of Cyber-Physical Systems
- URL: https://coeia.edu.sa/en/cybenar/cyber-physical-systems-formal-analysis-en/
- Published: 2023-02-19T09:00:00.000Z
- Updated: 2026-09-27T22:40:33.000Z
- Description: A CoEIA cybersecurity lecture on the specification and formal analysis of cyber-physical systems, held at the Center and streamed on Zoom.
- Author: CoEIA Admin
- Tags: Cybenar, #en

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.