Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Verification

von Nils Przigoda

Taschenbuch

ISBN-13: 978-3-319-89214-6

ISBN-10: 3-319-89214-2

Springer · Juni 2019

Siehe auch:
2018Gebundene AusgabeAutomated Validation & Verification of UML/OCL Models Using Satisfiability Solvers