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

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
ISBN 13: 9783319728131
ISBN: 331972813X
Edition: 1
Publisher: Springer International Publishing
Format: Hardcover (255 pages)
Released: Jan 31st, 2018
Related ISBN: 9783319728148
Sell This Book