Quantitative verification: models, techniques and tools.

Marta Z. Kwiatkowska

Published in: ESEC/SIGSOFT FSE (Companion) (2007)

Keyphrases

metamodel
parameter estimation
genetic algorithm
model selection
information systems
real time
model checking
mathematical models
data mining
user friendly
probabilistic model
statistical models
data sets
conceptual models
accurate models
multi agent systems
analytical methods