Login / Signup

A run-time verification method with consideration of uncertainties for cyber-physical systems.

Mohammadreza MehrabianMohammad KhayatianAviral ShrivastavaPatricia DerlerHugo A. Andrade
Published in: Microprocess. Microsystems (2023)
Keyphrases
  • verification method
  • cyber physical systems
  • model checking
  • cyber physical
  • temporal logic
  • physical world
  • cyber security
  • embedded systems
  • critical infrastructure
  • real time
  • social networks
  • knowledge discovery