Mohlo by sa vám tiež páčiť

Viac informácií o knihe Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 96 bodov

Anotácia knihy

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.

Parametre knihy

• Celý názov: Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
• Podnázov: Dissertationsschrift
• Autor: Fouad ben Nasr Omri
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 192
• EAN: 9783731504726
• ID: 21041186
• Nakladateľ: KIT Scientific Publishing
• Hmotnosť: 370 g
• Rozmery: 210 × 148 × 10 mm
• Rok vydania: 2018

Obľúbené z iného súdka

---

---

---