Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment | 静岡大学附属図書館 OPAC/myLibrary

>> Google Books

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

フォーマット:: 電子ブック
責任表示:: Omri, Fouad ben Nasr
出版情報:: [S.l.] : KIT Scientific Publishing, 2018
書誌ID:: ST13066232
ISBN:: 9783731504726 [3731504723]

子書誌情報

オンライン

DOAB Directory of Open Access Books フリー

所蔵情報

Loading availability information

タイトルが類似している資料

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

書誌詳細

タイトル言語:

und

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment KIT Scientific Publishing	7 電子ブック Component-Based Software Testing with UML Springer Berlin Heidelberg
2 電子ジャーナル Software testing, verification & reliability : STVR Wiley	8 電子ブック Base of the Iceberg : Informal Learning and Its Impact on Formal and Non-formal Learning Verlag Barbara Budrich
3 電子ブック Hardware and Software: Verification and Testing Springer Verlag	9 電子ブック Integrated Software Architecture-Based Reliability Prediction for IT Systems KIT Scientific Publishing
4 電子ブック Formal Approaches to Software Testing Springer Verlag	10 図書 Statistical analysis of reliability and life-testing models : theory and methods Bain, Lee J., 1939- M. Dekker
5 電子ブック Verification-based software-fault detection KIT Scientific Publishing	11 論文 Comparing the Narration-based C-test and Klein-Braley's C-test : Their Validity and Reliability Mochizuki, Akihiko Shizuoka University. Faculty of Education
6 図書 Statistical analysis of software reliability models Pul, M. C. J. van Centrum voor Wiskunde en Informatica	12 電子ブック From Formal Semantics to Verified Slicing : A Modular Framework with Applications in Language Based Security KIT Scientific Publishing