Construction of Verified Models for Systems Construction of Verified Models for Systems Represented as Networks.
Agustín YagüePedro Pablo AlarcónJuan GarbajosaAlexei LisounkinGerhard SchreckPublished in: VVEIS (2004)
Keyphrases
- complex systems
- physical systems
- computational models
- trading systems
- mathematical models
- statistical models
- prior knowledge
- databases
- learning systems
- distributed systems
- management system
- multimedia
- neural network
- probabilistic model
- expert systems
- complex networks
- social networks
- computing systems
- biological systems
- telecommunication networks
- data sets
- accurate models
- analytical models