Certifying a rule-based model transformation engine for proof preservation.
Zheng ChengMassimo TisiJoachim HotonnierPublished in: MoDELS (2020)
Keyphrases
- computational model
- experimental data
- formal model
- network model
- sensitivity analysis
- probabilistic model
- theoretical analysis
- mathematical model
- linear model
- data sets
- simulation model
- network structure
- statistical model
- theoretical framework
- data driven
- probability distribution
- cost function
- image sequences
- image segmentation
- information systems
- genetic algorithm