Sign in
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.
Guillaume Dupont
Yamine Aït Ameur
Neeraj Kumar Singh
Fuyuki Ishikawa
Tsutomu Kobayashi
Marc Pantel
Published in:
ICFEM (2020)
Keyphrases
</>
data sets
computer aided
building blocks
design principles
user interface
design process
design decisions
design tools
artificial neural networks
evolutionary algorithm
manifold learning
engineering design
design methodology