Skip to main content Skip to footer content

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

Jan 24, 2018

$169.99 ~~Price reduced from $211.37 to~~

Online pricing. Prices and offers may vary in store.

Overview

Language

English

Publisher: Springer International Publishing

ISBN: 9783319728148

New Algorithms, Architectures and Applications for Reconfigurable Computing

Patrick Lysaght Paperback
$248.50
2 formats available
Artificial Lift Methods: Design, Practices, And Applications

Tan Nguyen Paperback
$262.95
Alternate Energy: Assessment and Implementation Reference Book

James J. Winebrake Paperback
$119.95
Distance Learning Technology and Applications

Minoli Minoli Hardcover
$154.95
Power Grid Resilience: Theory and Applications

Jianhui Wang Hardcover
$175.50
Geometric Programming for Design Equation Development and Cost/Profit Optimization (with illustrative case study problems and solutions), Third Edition

Robert C Creese Paperback
$71.50
Real-Time Systems: Design Principles for Distributed Embedded Applications

Hermann Kopetz Paperback
$80.50
Advanced Mathematical Techniques in Computational and Intelligent Systems

Sandeep Singh Hardcover
$214.22 ~~Price reduced from $236.95 to~~
2 formats available
Advances in Speech and Music Technology: Computational Aspects and Applications

Anupam Biswas Hardcover
$262.95
2 formats available
Security Issues in Fog Computing from 5G to 6G: Architectures, Applications and Solutions

Chintan Bhatt Paperback
$160.95
Security Issues in Fog Computing from 5G to 6G: Architectures, Applications and Solutions

Chintan Bhatt Hardcover
$160.95
2 formats available
Recent Advances in Computer Vision Applications Using Parallel Processing

Khalid M. Hosny Paperback
$262.95
Recent Advances in Computer Vision Applications Using Parallel Processing

Khalid M. Hosny Hardcover
$262.95
2 formats available
Recent Advances On Memetic Algorithms And Its Applications In Image Processing

D. Jude Hemanth Paperback
$248.50
Applications of Computational Intelligence Techniques in Communications

Mridul Gupta Hardcover
$147.27 ~~Price reduced from $170.50 to~~
2 formats available
Expanded Ptfe Applications Handbook: Technology, Manufacturing And Applications

Sina Ebnesajjad Hardcover
$370.50
2 formats available
Recent Advances in Computational Optimization: Selected Papers from the WCO 2022 - Workshop on Computational Optimizatio: Selected Papers from the WCO 2022 - Workshop on Computational Optimization

Stefka Fidanova Hardcover
$262.95
2 formats available
Intelligent Wireless Sensor Networks and the Internet of Things: Algorithms, Methodologies, and Applications

Bhanu Chander Hardcover
$280.93 ~~Price reduced from $296.50 to~~
2 formats available
Efficient Auction Games: Theories, Algorithms And Applications In Smart Grids And Electric Vehicle Charging

Zhongjing Ma Hardcover
$160.95
2 formats available
Ip Cores Design From Specifications To Production: Modeling, Verification, Optimization, And Protection

Khaled Salah Mohamed Paperback
$80.50
3 formats available

Editorial reviews

Author

Verification by Error Modeling: Using Testing Techniques in Hardware Verification

Katarzyna Radecka Paperback
$160.95
2 formats available
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems

M.C. Bhuvaneswari Hardcover
$160.95
2 formats available
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Kothanda Umamageswaran Paperback
$160.95
2 formats available
Statistical Analysis And Optimization For Vlsi: Timing And Power

Ashish Srivastava Paperback
$248.50
2 formats available
Fractional Modeling And Controller Design Of Robotic Manipulators: With Hardware Validation

Abhaya Pal Singh Hardcover
$233.95
2 formats available
Efficient Execution of Irregular Dataflow Graphs: Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra

Nimish Shah Hardcover
$131.50
2 formats available
Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Hardcover
$217.95
2 formats available
Bayesian Tensor Decomposition for Signal Processing and Machine Learning: Modeling, Tuning-Free Algorithms, and Applications

Lei Cheng Hardcover
$204.50
2 formats available
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Paperback
$248.50
2 formats available
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Hardcover
$248.50
Modeling, Control, Estimation, and Optimization for Microgrids: A Fuzzy-Model-Based Method

Zhixiong Zhong Paperback
$91.95
3 formats available
Design For Testability, Debug And Reliability: Next Generation Measures Using Formal Techniques

Sebastian Huhn Hardcover
$175.50
2 formats available
Industrial Pid Controller Tuning: With A Multiobjective Framework Using Matlab

José David Rojas Hardcover
$248.50
2 formats available
Statistical Performance Analysis and Modeling Techniques for Nanometer VLSI Designs

Ruijing Shen Hardcover
$160.95
2 formats available
Nonlinear Regression Modeling for Engineering Applications: Modeling, Model Validation, and Enabling Design of Experiments

R. Russell Rhinehart Hardcover
$174.95
2 formats available
3d Interconnect Architectures For Heterogeneous Technologies: Modeling And Optimization

Lennart Bamberg Hardcover
$189.95
2 formats available
Discrete Element Method In The Design Of Transport Systems: Verification And Validation Of 3d Models

Daniel Gelnar Hardcover
$160.95
2 formats available
Scalable Techniques for Formal Verification

Sandip Ray Paperback
$155.95
3 formats available
Controller Tuning Optimization Methods For Multi-constraints And Nonlinear Systems: A Metaheuristic Approach

Maude Jos Blondin Paperback
$94.95
2 formats available
Fractional-order Modeling Of Dynamic Systems With Applications In Optimization, Signal Processing, And Control

Ahmed G. Radwan Paperback
$296.50
2 formats available