Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Dissertationsschrift
Autor:
Fouad ben Nasr Omri
Dostupnost:
Skladem u dodavatele
Odesíláme za 8-11 dnů
692
Kč
This work developed an automatic approach for the assessment of software reliability which is both t...
