CoqTL: a Coq DSL for rule-based model transformation.
Zheng ChengMassimo TisiRémi DouencePublished in: Softw. Syst. Model. (2020)
Keyphrases
- probabilistic model
- formal model
- probability distribution
- network model
- real time
- prior knowledge
- parameter estimation
- computational model
- neural network
- expert systems
- cost function
- multiscale
- image segmentation
- management system
- least squares
- statistical model
- conceptual model
- sensitivity analysis
- artificial intelligence