Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Lieferzeit: Lieferbar innerhalb 14 Tagen

35,00 €

inkl. 7 % MwSt. zzgl. Versandkosten

ISBN:	3731504723
ISBN 13:	9783731504726
Autor:	Omri, Fouad ben Nasr
Verlag:	Karlsruher Institut für Technologie
Umfang:	192 S.
Erscheinungsdatum:	12.12.2018
Auflage:	1/2018
Format:	1.3 x 21 x 14.8
Gewicht:	286 g
Produktform:	Kartoniert
Einband:	KT

Artikelnummer: 6086439 Kategorie: Informatik, EDV

Beschreibung

Beschreibung

This work developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.

Das könnte Ihnen auch gefallen …

Software Reliability Assessment with OR Applications
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Reliability and Statistical Computing
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Generic Techniques in Systems Reliability Assessment
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hypothesis Testing Using Statistical Software
64,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Verification of Circuits
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification and Validation
90,94 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Agriculture in Remote Areas Based on Solar Energy
55,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Développement et application de la MoM dans le domaine temporel
59,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification and Analysis
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Testing Statistical Hypotheses
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Elaboration de couches minces de ZnS par depot chimique en solution
59,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Modern Software Testing Techniques
48,14 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Israel – eine Utopie
22,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
A Roadmap for Formal Property Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Technique de production avicole:
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Introduction to Formal Hardware Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
69,54 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Constraint-Based Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
A Roadmap for Formal Property Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Verification-based software-fault detection
40,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Reliability
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Testing
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Lebanese Shiite Leadership, 1920-1970s
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Résolution des équations différentielles martricielles de Riccati
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Testing
71,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Impact du fenugrec sur les performances de ponte la qualité de luf
71,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Statistical Reliability Engineering
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Lebanese Shiite Leadership, 1920-1970s
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Approaches to Software Testing and Runtime Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Scalable Bit-precise Formal Verification of Embedded Software
45,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Signature verification based on a feature extraction technique
27,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
SAT-Based Scalable Formal Verification Solutions
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Testing Statistical Hypotheses
74,89 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Statistical Reliability Engineering
85,59 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Testing
54,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Methods for Hardware Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Numerical Software Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal System Verification
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Verification of Circuits
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advanced Formal Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Testing
39,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software, Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification
58,84 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Testing Techniques in Software Engineering
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Contraint-Based Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Radikaler Universalismus
13,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Reliability and Statistical Computing
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification and Validation
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Systems and Software Verification
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Numerical Software Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Reliability Assessment with OR Applications
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal System Verification
128,39 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Hardware Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Systems and Software Verification
149,79 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Scalable Techniques for Formal Verification
119,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Numerical Software Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Input and Grammar Awareness. A Case of EFL University Students in Libya
15,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Verification of Object-Oriented Software
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Teaching Grammar to EFL University Students
15,95 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Radikaler Universalismus
22,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advanced Verification Techniques
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Channel Estimation for LTE MIMO-OFDM Systems
68,00 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Création du serveur windows 2003 server
35,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Fundamentals of Software Testing Techniques
49,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Verification of Concurrent Embedded Software
15,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Sequential Logic Testing and Verification
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Scalable Techniques for Formal Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Verification and Analysis
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software, Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Testing
35,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
SAT-Based Scalable Formal Verification Solutions
117,69 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
The Eigenmode Projection Technique
54,90 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Tools for Practical Software Verification
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
A Critical Review of Stephan Bax’s Article ‚The End of CLT‘
5,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Weighted Automata, Formal Power Series and Weighted Logic
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
49,22 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advanced Verification Techniques
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Software Quality Approaches: Testing, Verification and Validation
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Leveraging Applications of Formal Methods, Verification and Validation. Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Introduction to Formal Hardware Verification
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Advanced Formal Verification
106,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Approaches to Software Testing
53,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Sequential Logic Testing and Verification
160,49 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Hardware and Software: Verification and Testing
51,36 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb
Formal Description Techniques and Protocol Specification, Testing and Verification
213,99 €
inkl. 7 % MwSt.

zzgl. Versandkosten
In den Warenkorb

Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Beschreibung

Das könnte Ihnen auch gefallen …

Software Reliability Assessment with OR Applications

Reliability and Statistical Computing

Generic Techniques in Systems Reliability Assessment

Hypothesis Testing Using Statistical Software

Formal Verification of Circuits

Software Verification and Validation

Agriculture in Remote Areas Based on Solar Energy

Développement et application de la MoM dans le domaine temporel

Software Verification and Analysis

Hardware and Software: Verification and Testing

Testing Statistical Hypotheses

Elaboration de couches minces de ZnS par depot chimique en solution

Hardware and Software: Verification and Testing

Modern Software Testing Techniques

Israel – eine Utopie

A Roadmap for Formal Property Verification

Technique de production avicole:

Introduction to Formal Hardware Verification

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Constraint-Based Verification

A Roadmap for Formal Property Verification

Verification-based software-fault detection

Software Reliability

Software Testing

Lebanese Shiite Leadership, 1920-1970s

Résolution des équations différentielles martricielles de Riccati

Software Testing

Impact du fenugrec sur les performances de ponte la qualité de luf

Statistical Reliability Engineering

Formal Description Techniques and Protocol Specification, Testing and Verification

Lebanese Shiite Leadership, 1920-1970s

Formal Methods and Testing

Formal Approaches to Software Testing and Runtime Verification

Scalable Bit-precise Formal Verification of Embedded Software

Hardware and Software: Verification and Testing

Signature verification based on a feature extraction technique

SAT-Based Scalable Formal Verification Solutions

Testing Statistical Hypotheses

Statistical Reliability Engineering

Software Testing

Software Verification

Formal Methods for Hardware Verification

Hardware and Software: Verification and Testing

Numerical Software Verification

Formal System Verification

Formal Verification of Circuits

Advanced Formal Verification

Software Testing

Hardware and Software, Verification and Testing

Software Verification

Testing Techniques in Software Engineering

Contraint-Based Verification

Radikaler Universalismus

Reliability and Statistical Computing

Software Verification and Validation

Systems and Software Verification

Numerical Software Verification

Software Reliability Assessment with OR Applications

Hardware and Software: Verification and Testing

Formal System Verification

Formal Hardware Verification

Systems and Software Verification

Scalable Techniques for Formal Verification

Numerical Software Verification

Input and Grammar Awareness. A Case of EFL University Students in Libya

Formal Verification

Hardware and Software: Verification and Testing

Hardware and Software: Verification and Testing

Formal Verification of Object-Oriented Software

Formal Description Techniques and Protocol Specification, Testing and Verification

Teaching Grammar to EFL University Students

Radikaler Universalismus

Hardware and Software: Verification and Testing

Advanced Verification Techniques

Channel Estimation for LTE MIMO-OFDM Systems

Création du serveur windows 2003 server

Fundamentals of Software Testing Techniques