Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

MLA

Omri, Fouad ben Nasr. Weighted Statistical Testing Based On Active Learning and Formal Verification Techniques for Software Reliability Assessment. KIT Scientific Publishing, .

APA

Omri, F. ben Nasr. Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment. KIT Scientific Publishing.

Chicago

Omri, Fouad ben Nasr Weighted Statistical Testing Based On Active Learning and Formal Verification Techniques for Software Reliability Assessment. : KIT Scientific Publishing.