A Guideline for the Verification and Validation of Critical Computer Systems

Dependability of Critical Computer Systems 1 ◽

10.1007/978-94-009-1357-8_5 ◽

1988 ◽

pp. 233-250

Author(s):

F. J. Redmill

Keyword(s):

Computer Systems ◽

Verification And Validation

Download Full-text

Future directions in HF and computer systems: A meeting report

PsycEXTRA Dataset ◽

10.1037/e574032012-022 ◽

1983 ◽

Author(s):

Paul Green

Keyword(s):

Computer Systems ◽

Meeting Report ◽

Future Directions

Download Full-text

Computer Systems and Water Resources

10.1016/s0167-5648(08)x7005-4 ◽

1974 ◽

Keyword(s):

Water Resources ◽

Computer Systems

Download Full-text

A Method of Risk Analysis for Computer Systems

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss1987.108.4_260 ◽

1988 ◽

Vol 108 (4) ◽

pp. 260-267

Author(s):

Kazuo Takaragi ◽

Ryoichi Sasaki ◽

Yasuhiko Nagai

Keyword(s):

Risk Analysis ◽

Computer Systems

Download Full-text

Use of parallel computer systems for high Reynolds flow simulation

Proceedings of the Sixth International Symposium On Turbulence, Heat and Mass Transfer ◽

10.1615/ichmt.2009.turbulheatmasstransf.900 ◽

2009 ◽

Author(s):

Boris N. Chetverushkin ◽

E. V. Shilnikov

Keyword(s):

Computer Systems ◽

Flow Simulation ◽

Parallel Computer ◽

Download Full-text

Verification and Validation of Real-Time Software

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

1985 ◽

Keyword(s):

Real Time ◽

Verification And Validation

Download Full-text

Flexible buffer management with thresholds and blocking for congestion control in multi-server computer systems

Theoretical and Applied Informatics ◽

10.2478/v10179-010-0018-9 ◽

2010 ◽

Vol 22 (1) ◽

Author(s):

Walenty Oniszczuk

Keyword(s):

Congestion Control ◽

Computer Systems ◽

Buffer Management ◽

Multi Server ◽

Server Computer

Download Full-text

A computer systems upgrade for the Shuttle Mission Training Facility

10.2514/6.1988-4593 ◽

1988 ◽

Author(s):

ANKUR HAJARE ◽

PATRICK BROWN

Keyword(s):

Computer Systems ◽

Training Facility ◽

Mission Training

Download Full-text

A predicate calculus based language for data verification and validation

10.2514/6.1993-4462 ◽

1993 ◽

Author(s):

Antonio Leal

Keyword(s):

Verification And Validation ◽

Predicate Calculus ◽

Data Verification

Download Full-text

Verification and Validation of DESTIN as the Primary Sample Acquisition Tool for the RESOLVE Project

51st AIAA Aerospace Sciences Meeting including the New Horizons Forum and Aerospace Exposition ◽

10.2514/6.2013-735 ◽

2013 ◽

Author(s):

Sherry Schmidt ◽

Dale Boucher ◽

Stephanie Fudge ◽

Cindy Komarechka

Keyword(s):

Verification And Validation ◽

Download Full-text

Aerospace Computer Systems Conference

10.2514/macsc69 ◽

1969 ◽

Keyword(s):

Computer Systems

Download Full-text