Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Dissertationsschrift
Autor:
Fouad ben Nasr Omri
Dostupnosť:
Skladom u dodávateľa
Odosielame za 8-11 dní
30.35
€
This work developed an automatic approach for the assessment of software reliability which is both t...
