Robert Wille

Visos (2)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, Nils Przigoda, Robert Wille
0
0
Towards a Design Flow for Reversible Logic
Towards a Design Flow for Reversible LogicTowards a Design Flow for Reversible Logic
Towards a Design Flow for Reversible Logic
Rolf Drechsler, Robert Wille
0
0
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra