Sign in

Formal verification of discrete event model.

Zhihao LuRui WangYong Guan
Published in: TAV-CPS/IoT@ISSTA (2020)
Keyphrases
  • discrete event
  • simulation model
  • formal verification
  • machine learning
  • model checking
  • dynamic systems
  • mathematical modeling