Blank Cover Image

Independent verification and validation of software

フォーマット:
電子ブック
言語:
英語
出版情報:
Washington, DC
子書誌情報
Loading
オンライン
ジャーナル/ブックへリンク
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック Independent verification & validation : providing unbiased software analysis & evaluation services
7 電子ブック Verification and Validation in Systems Engineering

Debbabi, Mourad, Hassaïne, Fawzi, Alawneh, Luay, Jarraya, Yosr, Soeanu, Andrei

Springer Berlin Heidelberg
2 電子ブック Software verification and validation

Wallace, Dolores R.

U.S. Dept. of Commerce, National Institute of Standards and Technology
8 電子ブック VA health care: independent verification and validation of patient self-scheduling system was consistent with the Faster Care for Veternas Act of 2016

U.S. Government Accountability Office
3 電子ブック Reference information for the software verification and validation process

Wallace, Dolores R.

U.S. Dept. of Commerce, National Institute of Standards and Technology
9 電子ブック Formal verification of AI software

Rushby, John
4 電子ブック 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
10 電子ブック Hardware and Software, Verification and Testing

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

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

Powell, Patricia B.

U.S. Dept. of Commerce, National Institute of Standards and Technology
11 電子ブック Numerical Software with Result Verification

René Alt, Alt, René, Frommer, Andreas, Kearfott, R. Baker, Luther, Wolfram

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

IEEE
12 電子ブック Software Verification and Analysis

Stanley, William, Laski, Janusz

Springer London