Login / Signup
Towards Modular Verification of Threaded Concurrent Executable Code Generated from DSL Models.
Dragan Bosnacki
Mark van den Brand
Joost Gabriels
Bart Jacobs
Ruurd Kuiper
Sybren Roede
Anton Wijs
Dan Zhang
Published in:
FACS (2015)
Keyphrases
</>
neural network
general purpose
source code
model checking
artificial intelligence
parameter estimation
machine learning algorithms
regression model
statistical model
statistical models
computational models
control flow