Yazar
Judith Przigoda
1 cilt bulundu.
Cilt sonuçları
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler · Springer
267 sayfa · 2018
Uml (computer science) / Object-oriented methods (computer science) / Computer software, validation / Computer software, verification