Blank Cover Image

Software Testing Verification & Reliability

フォーマット:
電子ジャーナル
言語:
英語
出版情報:
ENGLAND : Wiley
ISSN:
0960-0833  CiNii Research  Webcat Plus  JAIRO
子書誌情報
Loading
オンライン
ジャーナル/ブックへリンク
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Hardware and Software, Verification and Testing

Ur, Shmuel, Bin, Eyal, Kanade, Takeo, Wolfsthal, Yaron

Springer Berlin / Heidelberg
7 電子ブック Hardware and Software: Verification and Testing

Chockler, Hana, Hu, Alan J., Kanade, Takeo, Kittler, Josef

Springer Berlin Heidelberg
2 電子ブック Hardware and Software, Verification and Testing

Bin, Eyal, Kanade, Takeo, Ur, Shmuel, Ziv, Avi, Kittler, Josef

Springer Berlin Heidelberg
8 電子ブック Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Omri, Fouad ben Nasr

KIT Scientific Publishing
3 電子ブック Hardware and Software: Verification and Testing

Yorav, Karen, Kanade, Takeo, Kittler, Josef

Springer Berlin Heidelberg
9 電子ブック Formal Approaches to Software Testing and Runtime Verification

Havelund, Klaus, Kanade, Takeo, Núñez, Manuel, Roşu, Grigore, Wolff, Burkhart

Springer Berlin Heidelberg
4 電子ブック Hardware and Software: Verification and Testing

Namjoshi, Kedar, Kanade, Takeo, Zeller, Andreas, Ziv, Avi

Springer Berlin Heidelberg
10 電子ブック Survey of software validation, verification, and testing standards and practices at selected sites

Smith, Mark K.

U.S. Dept. of Commerce, National Institute of Standards and Technology
5 電子ブック Hardware and Software: Verification and Testing

Barner, Sharon, Harris, Ian, Kanade, Takeo, Kroening, Daniel, Raz, Orna

Springer Berlin Heidelberg
11 電子ブック Software validation, verification, and testing technique and tool reference guide

Powell, Patricia B.

U.S. Dept. of Commerce, National Institute of Standards and Technology
6 電子ブック Hardware and Software: Verification and Testing

Hutchison, David, Kanade, Takeo, Lourenҫo, João, Shehory, Onn

Springer Berlin Heidelberg
12 電子ブック 2010 Third International Conference on Software Testing, Verification, and Validation Workshops

IEEE