الإسهام في توصيف الأنظمة السيبرانية الفيزيائية وتحليلها رسمياً

تاريخ المحاضرة

21 فبراير 2023

الوقت

الساعة 10:00 صباحاً

الحضور

عبر الإنترنت

عن المحاضرة

يقدم مركز التميز لأمن المعلومات محاضرة في الأمن السيبراني بعنوان "Contribution to the Specification and Formal Analysis of Cyber-Physical Systems"، تتناول توصيف الأنظمة السيبرانية الفيزيائية وتحليلها بالأساليب الرسمية.

تقام المحاضرة في مقر المركز، وتبث عبر منصة Zoom لمن يسجل لحضورها عن بعد.