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

Nonfiction, Science & Nature, Technology, Electronics, Circuits, Computers, Advanced Computing, Engineering, Computer Architecture
Big bigCover of Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

More books from Springer International Publishing

bigCover of the book A Mindfulness Intervention for Children with Autism Spectrum Disorders by
bigCover of the book Atlas of Coronary Intravascular Optical Coherence Tomography by
bigCover of the book Fundamentals of Physics and Chemistry of the Atmosphere by
bigCover of the book Service Orientation in Holonic and Multi-Agent Manufacturing by
bigCover of the book Structured Object-Oriented Formal Language and Method by
bigCover of the book Can We Talk Mediterranean? by
bigCover of the book Australian Screen in the 2000s by
bigCover of the book Machine Learning in VLSI Computer-Aided Design by
bigCover of the book Twenty-First Century Marianne Moore by
bigCover of the book Non-equilibrium Dynamics of One-Dimensional Bose Gases by
bigCover of the book Bronchiectasis by
bigCover of the book Universal Biology after Aristotle, Kant, and Hegel by
bigCover of the book Level Crossing Methods in Stochastic Models by
bigCover of the book Modelling and Implementation of Complex Systems by
bigCover of the book Beneficial Ownership by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy