Login / Signup
A SysML Formal Framework to Combine Discrete and Continuous Simulation for Testing.
Jean-Marie Gauthier
Fabrice Bouquet
Ahmed Hammad
Fabien Peureux
Published in:
ICFEM (2015)
Keyphrases
</>
main contribution
formal model
formal methods
continuous space
learning algorithm
knowledge base
image segmentation
distributed systems
lightweight
fault tolerant
finite number
continuous domains
continuous action