Login / Signup

Control Performance Analysis of Automotive Cyber-physical Systems: A Study on Efficient Formal Verification.

Vahid PanahiMehdi KargahiFathiyeh Faghih
Published in: ACM Trans. Cyber Phys. Syst. (2024)
Keyphrases
  • formal verification
  • cyber physical systems
  • real time
  • information systems
  • model checking
  • control system
  • activity recognition