C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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