Testing Communicating Systems: a Model, a Methodology, and a Tool.
Ismail BerradaRichard CastanetPatrick FélixPublished in: TestCom (2005)
Keyphrases
- conceptual model
- computational model
- high level
- mathematical model
- theoretical framework
- objective function
- probabilistic model
- probability distribution
- management system
- intelligent systems
- mathematical models
- cost function
- complex systems
- multiscale
- statistical model
- experimental data
- data sets
- qualitative and quantitative
- formal model