A Component-Based Approach to Verification and Validation of Formal Software Models.

Dejan Desovski Bojan Cukic

Published in: WADS (2006)

Keyphrases

formal methods
experimental data
software components
data sets
machine learning
prior knowledge
machine learning algorithms
computational models