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: 9783319892146
ISBN: 3319892142
Edition: 1
Publisher: Springer International Publishing
Format: Paperback (255 pages)
Released: Jun 6th, 2019
Sell This Book