Login / Signup
Riad Helal
ORCID
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Data Warehouse
Anomaly Detection
Cyber Physical Systems
Top Venues
TACC
ICSCA
</>
Publications
</>
Riad Helal
,
Akram Seghiri
,
Faiza Belala
,
Nabil Hameurlain
Towards a Formal Modeling Approach for Cyber-Physical Systems Requirements.
ICSCA
(2024)
Riad Helal
,
Akram Seghiri
,
Faiza Belala
An Integrated Approach to Formal Analyze Cyber Physical Systems.
TACC
(2022)