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

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-319-72814-8 / 978-3319728148 / 9783319728148

Verlag: Springer International Publishing

Erscheinungsdatum: 22.01.2018

Seiten: 255

Autor(en): Rolf Drechsler, Robert Wille, Nils Przigoda, Judith Przigoda