Sign in

Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC.

Eun-Young KangDongrui MuLi Huang
Published in: IFM (2018)
Keyphrases
  • model checking
  • timing constraints
  • real time systems
  • real time
  • database
  • database systems
  • management system
  • data warehouse
  • distributed systems
  • formal methods