Passer au contenu principal Passer au contenu du pied de page

Automated Validation And Verification Of Uml/ocl Models Using Satisfiability Solvers

Nils Przigoda , Robert Wille , Judith Przigoda

6 juin 2019

248,50 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 1 243 points et profitez d’un rabais additionnel avec plum+. .

Description

Langue

anglais

Pages

255

Publié par: Springer Nature

Dimensions à l’expédition: 9" H x 6" W x 1" L

ISBN: 9783319892146

Modulation and Coding Techniques in Wireless Communications

Couverture rigide
173,95 $
2 formats offerts
Smart Nanomaterials: From Fundamentals to Emergent Applications

Couverture rigide
337,00 $
Design and Applications of Emerging Computer Systems

Weiqiang Liu Couverture souple
58,50 $
Photovoltaic Systems: Fundamentals and Applications

Yaman Abou Jieb Couverture souple
94,95 $
Design and Applications of Emerging Computer Systems

Weiqiang Liu Couverture rigide
248,50 $
2 formats offerts
Photovoltaic Systems: Fundamentals And Applications

Yaman Abou Jieb Couverture rigide
145,95 $
2 formats offerts
Applied Engineering Modeling Using CREO Parametric 10

Dustin McNally Couverture souple
120,00 $
Fractional Calculus: High-Precision Algorithms and Numerical Implementations

Dingy Xue Couverture souple
58,50 $
Ip Cores Design From Specifications To Production: Modeling, Verification, Optimization, And Protection

Khaled Salah Mohamed Couverture souple
80,50 $
3 formats offerts
Artificial Intelligence for Engineers: Basics and Implementations

Zhen Leo Liu Couverture rigide
160,95 $
IEC 61850 Principles and Applications to Electric Power Systems

Peter Bishop Couverture souple
291,95 $
Mxene-based Photocatalysts: Fabrication And Applications

Zuzeng Qin Couverture rigide
207,50 $
3 formats offerts
IEC 61850 Principles and Applications to Electric Power Systems

Peter Bishop Couverture rigide
277,95 $
3 formats offerts
Intelligent Control in Smart Energy Systems

Satya Prakash Yadav Couverture souple
288,95 $
Communication and Control in Electric Power Systems: Applications of Parallel and Distributed Processing

Mohammad Shahidehpour Couverture rigide
386,95 $
Towards Analytical Techniques For Systems Engineering Applications

Griselda Acosta Couverture souple
204,50 $
Reconfigurable Active and Passive Planar Antennas for Wireless Communication Systems

Shiban Kishen Koul Couverture rigide
160,95 $
2 formats offerts
Reconfigurable Active and Passive Planar Antennas for Wireless Communication Systems

Shiban Kishen Koul Couverture souple
160,95 $
Towards Analytical Techniques For Systems Engineering Applications

Griselda Acosta Couverture rigide
204,50 $
2 formats offerts
Engineering Applications Of Discrete Element Method: Operation Analysis And Optimization Design Of Coal And Agricultural Machinery

Xuewen Wang Couverture rigide
248,50 $
2 formats offerts

Évaluation éditoriale

Auteur

Verification by Error Modeling: Using Testing Techniques in Hardware Verification

Katarzyna Radecka Couverture souple
160,95 $
2 formats offerts
Formal Semantics and Proof Techniques for Optimizing VHDL Models

Kothanda Umamageswaran Couverture souple
160,95 $
2 formats offerts
Design For Testability, Debug And Reliability: Next Generation Measures Using Formal Techniques

Sebastian Huhn Couverture rigide
175,50 $
2 formats offerts
Application of Evolutionary Algorithms for Multi-objective Optimization in VLSI and Embedded Systems

M.C. Bhuvaneswari Couverture rigide
160,95 $
2 formats offerts
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Couverture souple
248,50 $
2 formats offerts
Adaptive Techniques for Dynamic Processor Optimization: Theory and Practice

Alice Wang Couverture rigide
248,50 $
Resource Allocation in Network Function Virtualization: Problems, Models and Algorithms

Song Yang Couverture rigide
160,95 $
2 formats offerts
Hardware Oriented Authenticated Encryption Based On Tweakable Block Ciphers

Mustafa Khairallah Couverture rigide
248,50 $
2 formats offerts
New Data Structures And Algorithms For Logic Synthesis And Verification

Luca Gaetano Amaru Couverture souple
80,50 $
3 formats offerts
Soft Error Reliability Using Virtual Platforms: Early Evaluation Of Multicore Systems

Felipe Rocha Da Rosa Couverture rigide
160,95 $
2 formats offerts
Optimization of Trustworthy Biomolecular Quantitative Analysis Using Cyber-Physical Microfluidic Platforms

Mohamed Ibrahim Couverture souple
91,95 $
3 formats offerts
Digital System Test And Testable Design: Using Hdl Models And Architectures

Zainalabedin Navabi Couverture souple
131,50 $
3 formats offerts
Efficient Execution of Irregular Dataflow Graphs: Hardware/Software Co-optimization for Probabilistic AI and Sparse Linear Algebra

Nimish Shah Couverture rigide
131,50 $
2 formats offerts
Fundamentals Of Ip And Soc Security: Design, Verification, And Debug

Swarup Bhunia Couverture souple
145,95 $
3 formats offerts
5G Nr Modelling in Matlab: Network Architecture, Protocols, and Physical Layer

Zoran S. Bojkovic Couverture rigide
296,50 $
2 formats offerts
Ip Cores Design From Specifications To Production: Modeling, Verification, Optimization, And Protection

Khaled Salah Mohamed Couverture souple
80,50 $
3 formats offerts
Sensor networks in theory and practice: Successfully realize embedded systems projects

Ansgar Meroth Couverture souple
102,50 $
2 formats offerts
The Codesign Of Embedded Systems: A Unified Hardware/Software Representation

Sanjaya Kumar Couverture souple
321,50 $
2 formats offerts
Performance of Communication Systems: A Model-Based Approach with Matrix-Geometric Methods

Alexander Ost Couverture souple
248,50 $
2 formats offerts
Embedded Systems: Analysis and Modeling with SysML, UML and AADL

Couverture rigide
217,95 $
2 formats offerts