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

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

Rolf DrechslerJudith PrzigodaRobert WilleNils Przigoda
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
2018ISBN 9783319728131
Viršelis: KietasAnglų k.
Fiziniai ir technologijos mokslaiLiteratūra užsienio kalbomisNegrožinė literatūraStatyba, inžinerija
Šią knygą siūlo (0)
Šios knygos nori (0)
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra