Nils Przigoda

Visos (1)Siūlomos (0)Ieškomos (0)
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability SolversAutomated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
Rolf Drechsler, Judith Przigoda, Robert Wille, Nils Przigoda
0
0
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra