Beschreibung
Herstellerkennzeichnung:
BoD - Books on Demand
In de Tarpen 42
22848 Norderstedt
DE
E-Mail: info@bod.de
Using Model Checking to Generate Test Cases for Critical Systems
Lieferzeit: Lieferbar innerhalb 14 Tagen
49,00 €
inkl. 7 % MwSt. zzgl. Versandkosten
Testing for Safety
| ISBN: | 3843355657 |
|---|---|
| ISBN 13: | 9783843355650 |
| Autor: | Ding, Wei |
| Verlag: | LAP LAMBERT Academic Publishing |
| Umfang: | 88 S. |
| Erscheinungsdatum: | 26.09.2010 |
| Auflage: | 1/2010 |
| Format: | 0.6 x 22 x 15 |
| Gewicht: | 149 g |
| Produktform: | Kartoniert |
| Einband: | Kartoniert |
Das könnte Ihnen auch gefallen …
-
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbook of Model Checking]()
Handbook of Model Checking
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Exponential Family Nonlinear Models]()
Exponential Family Nonlinear Models
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
48,14 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
79,17 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Transitioning to Microsoft Power Platform]()
Transitioning to Microsoft Power Platform
64,19 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Politische Opposition in China seit 1989]()
Politische Opposition in China seit 1989
74,60 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Coverage Metrics for Model Checking]()
Coverage Metrics for Model Checking
59,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fast Perception-Action Loops with Proximity Sensors for Robotic Manipulators]()
Fast Perception-Action Loops with Proximity Sensors for Robotic Manipulators
49,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Principle of Profit Models]()
The Principle of Profit Models
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: The Principle of Profit Models]()
The Principle of Profit Models
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Adaption of new strategies for parameterization of a microstructure-based flow stress model]()
Adaption of new strategies for parameterization of a microstructure-based flow stress model
39,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction Refinement for Large Scale Model Checking]()
Abstraction Refinement for Large Scale Model Checking
119,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Handbook of Model Checking]()
Handbook of Model Checking
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking for Game Design]()
Model Checking for Game Design
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Stochastic Model Checking]()
Stochastic Model Checking
51,36 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Theoretical and Practical Aspects of SPIN Model Checking]()
Theoretical and Practical Aspects of SPIN Model Checking
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Passive Sicherheit und dynamische Tests]()
Passive Sicherheit und dynamische Tests
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Visual Quality Assessment for Natural and Medical Image]()
Visual Quality Assessment for Natural and Medical Image
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: 25 Years of Model Checking]()
25 Years of Model Checking
37,44 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: HYDROTREATING CATALYST FOR CLEAN DIESEL PRODUCTION]()
HYDROTREATING CATALYST FOR CLEAN DIESEL PRODUCTION
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: MFC:An Innovative Approach To Generate Electricity & Water Remediation]()
MFC:An Innovative Approach To Generate Electricity & Water Remediation
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Calculating cloud process maturity cost using conformance checking]()
Calculating cloud process maturity cost using conformance checking
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: MXene Membranes for Separations]()
MXene Membranes for Separations
139,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: TOWARDS A CRITICAL APPROACH TO KNOWLEDGE MANAGEMENT]()
TOWARDS A CRITICAL APPROACH TO KNOWLEDGE MANAGEMENT
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Test Case Prioritization]()
Test Case Prioritization
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Symbolic Model Checking]()
Symbolic Model Checking
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Kampf der Systeme]()
Kampf der Systeme
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Visual Quality Assessment for Natural and Medical Image]()
Visual Quality Assessment for Natural and Medical Image
139,09 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Satisfiability and Model Checking in Team Based Logics]()
Satisfiability and Model Checking in Team Based Logics
27,74 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: A Systematic Way to Improve Productivity When Using Skilled Labor]()
A Systematic Way to Improve Productivity When Using Skilled Labor
68,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
85,59 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An E-Learning 2.0 Model]()
An E-Learning 2.0 Model
79,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,50 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model-Checking Based Data Retrieval]()
Model-Checking Based Data Retrieval
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Contract Checking for Feldspar]()
Contract Checking for Feldspar
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking and Artificial Intelligence]()
Model Checking and Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking, Synthesis, and Learning]()
Model Checking, Synthesis, and Learning
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Human Venous Recognition - Measurement Using Digital Image Processing]()
Human Venous Recognition – Measurement Using Digital Image Processing
59,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
69,54 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
80,24 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model-Based Fault Diagnosis Techniques]()
Model-Based Fault Diagnosis Techniques
165,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Statistical Properties of Deterministic Systems]()
Statistical Properties of Deterministic Systems
149,79 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
49,22 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Checking the Conformance]()
Checking the Conformance
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Development and Assessment of Simplified Models for Dynamic Analyses of Bridge Piers Subjected to Barge Impact]()
Development and Assessment of Simplified Models for Dynamic Analyses of Bridge Piers Subjected to Barge Impact
32,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification of Programmable Logic Controller Code using Model Checking and Static Analysis]()
Verification of Programmable Logic Controller Code using Model Checking and Static Analysis
48,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Abstraction Refinement for Large Scale Model Checking]()
Abstraction Refinement for Large Scale Model Checking
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Conformance Checking]()
Conformance Checking
90,94 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: SPIN Model Checking and Software Verification]()
SPIN Model Checking and Software Verification
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: An Acoustic-phonetic Analysis of Chinese in Comparison with German in Text-to-Speech Systems and Foreign Language Speech Learning]()
An Acoustic-phonetic Analysis of Chinese in Comparison with German in Text-to-Speech Systems and Foreign Language Speech Learning
39,80 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bootstrap Tests for Regression Models]()
Bootstrap Tests for Regression Models
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Integrating Business Process Models and Rules]()
Integrating Business Process Models and Rules
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Wirtschaftliche Implementierung und Integration eines Dokumenten-Management-Systems bei kleinen und mittleren Kommunen]()
Wirtschaftliche Implementierung und Integration eines Dokumenten-Management-Systems bei kleinen und mittleren Kommunen
42,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model-Based Fault Diagnosis Techniques]()
Model-Based Fault Diagnosis Techniques
213,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Interviewing - a Way to Generate Qualitative Data]()
Interviewing – a Way to Generate Qualitative Data
15,95 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Test Case Generation using behavioral & Interaction models]()
Test Case Generation using behavioral & Interaction models
49,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Approaching Business Models from an Economic Perspective]()
Approaching Business Models from an Economic Perspective
58,84 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking Software]()
Model Checking Software
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model-checking infinite state systems for information flow security]()
Model-checking infinite state systems for information flow security
71,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
96,29 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Analysis of Inter-Vehicle Communication Using Network Simulator]()
Analysis of Inter-Vehicle Communication Using Network Simulator
54,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Gain Scheduling Pitch Control for Fatigue Load Reduction for Wind Turbines]()
Gain Scheduling Pitch Control for Fatigue Load Reduction for Wind Turbines
52,00 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Model Checking and Artificial Intelligence]()
Model Checking and Artificial Intelligence
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Bootstrap Tests for Regression Models]()
Bootstrap Tests for Regression Models
106,99 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Cost-effectiveness Analysis of Dental Dealant Using Econometric Models]()
Cost-effectiveness Analysis of Dental Dealant Using Econometric Models
48,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Fact-checking halb vergeben]()
Fact-checking halb vergeben
39,90 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb -
![Produktbild: Verification, Model Checking, and Abstract Interpretation]()
Verification, Model Checking, and Abstract Interpretation
53,49 €inkl. 7 % MwSt.
zzgl. Versandkosten
In den Warenkorb
