Verification and Validation of Real-Time Software
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642702266, 9783642702242

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conclusion

Verification and Validation of Real-Time Software ◽

10.1007/978-3-642-70224-2_7 ◽

1985 ◽

pp. 202-208

Author(s):

W. D. Ehrenberger

Download Full-text

Software Reliability and the Software Life Cycle

Verification and Validation of Real-Time Software ◽

10.1007/978-3-642-70224-2_2 ◽

1985 ◽

pp. 6-56

Author(s):

S. Bologna ◽

W. J. Quirk

Keyword(s):

Software Reliability ◽

Software Life Cycle

Download Full-text

Introduction

Verification and Validation of Real-Time Software ◽

10.1007/978-3-642-70224-2_1 ◽

1985 ◽

pp. 1-5

Author(s):

W. J. Quirk

Download Full-text

Structural Analysis and Proof

Verification and Validation of Real-Time Software ◽

10.1007/978-3-642-70224-2_3 ◽

1985 ◽

pp. 57-114

Author(s):

J. R. Taylor ◽

U. Voges ◽

P. Puhr-Westerheide ◽

W. J. Quirk

Keyword(s):

Structural Analysis

Download Full-text

Statistical Testing of Real Time Software

Verification and Validation of Real-Time Software ◽

10.1007/978-3-642-70224-2_5 ◽

1985 ◽

pp. 147-178 ◽

Author(s):

W. Ehrenberger

Keyword(s):

Real Time ◽

Statistical Testing

Download Full-text

Systematic Testing

Verification and Validation of Real-Time Software ◽

10.1007/978-3-642-70224-2_4 ◽

1985 ◽

pp. 115-146

Author(s):

U. Voges ◽

J. R. Taylor

Keyword(s):

Systematic Testing

Download Full-text

Simulation and System Validation

Verification and Validation of Real-Time Software ◽

10.1007/978-3-642-70224-2_6 ◽

1985 ◽

pp. 179-201

Author(s):

S. Bologna ◽

W. J. Quirk ◽

J. R. Taylor

Keyword(s):

System Validation

Download Full-text