TY - GEN
AU - Omri, Fouad ben Nasr
TI - Weighted statistical testing based on active learning and formal verification techniques for software reliability assessment
PB - KIT Scientific Publishing
SN - 9783731504726
KW - Hochschulschrift
PY - [2018]
BT - The Karlsruhe series on software design and quality ; 22
CY - Karlsruhe
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation