Towards verified synthesis of ProCom, a component model for real-time embedded systems.
Etienne BordeJan CarlsonPublished in: CBSE (2011)
Keyphrases
- computational model
- probabilistic model
- real time
- hybrid model
- theoretical analysis
- management system
- theoretical framework
- multi agent
- experimental data
- case study
- data mining
- databases
- statistical model
- mathematical model
- sensitivity analysis
- theoretical foundation
- network model
- control system
- em algorithm
- prior knowledge
- expert systems
- multiscale
- high level
- clustering algorithm
- artificial intelligence
- information retrieval
- data sets