Login / Signup
Vahid Panahi
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Cyber Physical Systems
Real Time
Activity Recognition
Formal Verification
Top Venues
ACM Trans. Cyber Phys. Syst.
</>
Publications
</>
Vahid Panahi
,
Mehdi Kargahi
,
Fathiyeh Faghih
Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification.
ACM Trans. Cyber Phys. Syst.
8 (2) (2024)