Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda, Robert Wille, Judith Przigoda
Springer
2018
268 páginas
8h 56m
ISBN-13: 9783319728131
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%