Login / Signup
Verifying Event-B Hybrid Models Using Cyclone.
Hao Wu
Zheng 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