BMotionWeb: A Tool for Rapid Creation of Formal Prototypes.

Lukas Ladenberger Michael Leuschel

Published in: SEFM (2016)

Keyphrases

formal model
analysis tool
machine learning
three dimensional
multiscale
training set
special case
knowledge based systems
user friendly
formal specification