From SysML to Model Checkers via Model Transformation.

Martin Kölbl Stefan Leue Hargurbir Singh

Published in: SPIN (2018)

Keyphrases

mathematical model
database
high level
objective function
probabilistic model
search engine
knowledge base
prior knowledge
probability distribution
management system
theoretical analysis
statistical model
object model
network model
autoregressive