Login / Signup
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-B.
Guillaume Dupont
Yamine Aït Ameur
Neeraj Kumar Singh
Marc Pantel
Published in:
Sci. Comput. Program. (2022)
Keyphrases
</>
hybrid systems
black box
intelligent systems
artificial intelligence
soft computing
meta learning
neural network
computational intelligence
discrete event
decision making
expert systems
supervised learning
genetic programming
orders of magnitude
design patterns