Login / Signup
Verifying the structure and behavior in UML/OCL models using satisfiability solvers.
Nils Przigoda
Mathias Soeken
Robert Wille
Rolf Drechsler
Published in:
IET Cyper-Phys. Syst.: Theory & Appl. (2016)
Keyphrases
</>
metamodel
physical systems
modeling language
probabilistic model
statistical models
data model
uml class diagrams
model selection
causal models
uml models
neural network
sequence diagrams
development process
process model
business processes
software development
hidden markov models
artificial intelligence