Login / Signup

Verifying Event-B Hybrid Models Using Cyclone.

Hao WuZheng Cheng
Published in: ABZ (2023)
Keyphrases
  • hybrid models
  • hybrid model
  • neural network
  • event detection
  • feed forward neural networks
  • artificial neural networks
  • data sets
  • computational intelligence
  • model checking
  • input output