Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Dissertationsschrift
Szerző:
Fouad ben Nasr Omri
Elérhetőség:
Beszállítói készleten
Küldés 8-11 napon belül
11 800
Ft
This work developed an automatic approach for the assessment of software reliability which is both t...
