Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for Weighted Statistical Testing based on Active Learning...
Seller Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
Karlsruher Institut Für Technologie Dez 2018, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 192 pp. Englisch. Seller Inventory # 9783731504726
Seller Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
KIT Scientific Publishing, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 4 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 overh. Seller Inventory # 385772913
Buy New
US$ 41.40
Shipping:
US$ 56.27
From Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Dez 2018, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 192 pp. Englisch. Seller Inventory # 9783731504726
Seller Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
Karlsruher Institut Für Technologie, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Seller Inventory # 9783731504726
Stock Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
KIT Scientific Publishing, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Paperback
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 192 pages. 8.27x5.83x0.44 inches. In Stock. Seller Inventory # 3731504723
Buy New
US$ 108.27
Shipping:
US$ 13.02
From United Kingdom to U.S.A.
Quantity: 1 available
Seller Image
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Published by
Karlsruher Institut für Technologie, 2018
ISBN 10: 3731504723
ISBN 13: 9783731504726
New
Taschenbuch
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment | Fouad Ben Nasr Omri | Taschenbuch | 192 S. | Englisch | 2018 | Karlsruher Institut für Technologie | EAN 9783731504726 | Verantwortliche Person für die EU: BoD - Books on Demand, In de Tarpen 42, 22848 Norderstedt, info[at]bod[dot]de | Anbieter: preigu. Seller Inventory # 115091961