Identification and Optimisation of Type-Level Model Queries.

Qurat ul ain Ali Dimitris S. Kolovos Konstantinos Barmpis

Published in: MoDELS (Companion) (2021)

Keyphrases

formal model
computational model
experimental data
mathematical model
statistical model
probabilistic model
theoretical framework
conceptual model