From Helena Ensemble Specifications to Promela Verification Models.

Annabelle Klarl

Published in: SPIN (2015)

Keyphrases

case study
computational models
probabilistic model
prediction accuracy
concurrent systems
formal verification
multiple models
mathematical models
statistical models
experimental data
complex systems
database
parameter estimation
multi class
probability distribution
web services
feature selection