Sign in
Modelling and Verifying Communication Failure of Hybrid Systems in HCSP.
Shuling Wang
Flemming Nielson
Hanne Riis Nielson
Naijun Zhan
Published in:
Comput. J. (2017)
Keyphrases
</>
hybrid systems
black box
neural network
intelligent systems
meta learning
artificial intelligence
soft computing
discrete event
computational intelligence
machine learning