Login / Signup
Verification of Model Transformations Using Isabelle/HOL and Scala.
Said Meghzili
Allaoua Chaoui
Martin Strecker
Elhillali Kerkouche
Published in:
Inf. Syst. Frontiers (2019)
Keyphrases
</>
computational model
artificial intelligence
high level
theoretical framework
simulation model
theorem prover
database
information retrieval
prior knowledge
higher order
parameter estimation
statistical model
conceptual model
formal model