Reducing the Gap between Verification Models and Software Development Models.

Elke Pulvermüller

Published in: SoMeT (2009)

Keyphrases

software development
data sets
model checking
statistical models
real time
software engineering
parameter estimation
complex systems
metamodel