De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

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

af Fouad Ben Nasr Omri
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment af Fouad Ben Nasr Omri
Bag om Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783731504726
  • Indbinding:
  • Paperback
  • Sideantal:
  • 192
  • Udgivet:
  • 12. december 2018
  • Størrelse:
  • 148x13x210 mm.
  • Vægt:
  • 286 g.
  • 2-3 uger.
  • 5. december 2024
På lager

Normalpris

Abonnementspris

- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding

Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.

Bag om Fouad Ben Nasr Omri

Vis alle bøger af Fouad Ben Nasr Omri

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

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.

Brugerbedømmelser af Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment



Andre købte også..
Find lignende bøger
Bogen Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment findes i følgende kategorier: