Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models.

Judith Peters Nils Przigoda Robert Wille Rolf Drechsler

Published in: MEMOCODE (2016)

Keyphrases

metamodel
probabilistic model
uml models
complex systems
constraint language
decision trees
prior knowledge
software engineering
software systems
artificial intelligence
hidden markov models
geometric constraints
constrained optimization
model driven
uml profile