
Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
- Kirjailija
- Fouad ben Nasr Omri
- ISBN
- 9783731504726
- Kieli
- englanti
- Paino
- 286 grammaa
- Julkaisupäivä
- 12.12.2018
- Kustantaja
- Karlsruher Institut für Technologie
- Sivumäärä
- 192