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

フォーマット:
電子ブック
言語:
英語
出版情報:
KIT Scientific Publishing
ISBN:
9783731504726 [3731504723]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

J. Wiley

FATES 2003, Petrenko, Alexandre, Ulrich, Andreas

Springer Berlin / Heidelberg

Gross, Hans-Gerhard

Springer Berlin Heidelberg

KIT Scientific Publishing

Castillo, Juan José, Alas-Pumariño, Andrés, Santos, Maximiano, European Centre for the Development of Vocational …

CEDEFOP, Office for Official Publications of the European Communities

Ganai, Malay, Chandrakasan, Anantha, Ganai, Malay K., Gupta, Aarti

Springer US

Turner, Caroline, European Centre for the Development of Vocational Training

CEDEFOP, Office for Official Publications of the European Communities

Bjørnåvold, Jens, European Centre for the Development of Vocational Training

Office for Official Publications of the European Communities, Cedefop, European Centre for the Development of Vocational Training

Singpurwalla, Nozer D., Wilson, Simon P.

Springer