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

Verification

von: Nils Przigoda · Robert Wille · Judith Przigoda · Rolf Drechsler

Gebunden

ISBN: 978-3-319-72813-1

ISBN-10: 3-319-72813-X

Springer · 2018

Siehe auch:
2019TaschenbuchAutomated Validation & Verification of UML/OCL Models Using Satisfiability Solvers