Login / Signup
A formal component model for UML based on CSP aiming at compositional verification.
Flávia Falcão
Lucas Lima
Augusto Sampaio
Pedro Antonino
Published in:
Softw. Syst. Model. (2024)
Keyphrases
</>
formal model
metamodel
probabilistic model
cost function
hidden markov models
probability distribution
management system
object oriented
computational model
mathematical model
statistical model
constraint satisfaction
life cycle
formal models