Blank Cover Image

A RIGOROUS APPROACH TO SELF-CHECKING PROGRAMMING

Author(s):
Hua, Kien A. et al. ( Illinois Univ. )  
Publication title:
NASA Technical Reports
Pub. Year:
1986
Issue:
NASA-CR-180657
No.:
G3/61 0064808
Pt.:
NAS1.26:180657
Paper no.:
N87-26517
Page(from):
1
Page(to):
19
Pages:
19
Pub. info.:
National Aeronautics and Space Administration
Language:
English
Type:
Technical Paper

Similar Items:

1 Technical Paper SHORTS IN SELF-CHECKING CIRCUITS .

Nicolaidis, M.

National Aeronautics and Space Administration
7 Technical Paper AUTOMATIC GENERATION ALGORITHMS, EXPERIMENTS AND COMPARISONS OF SELF- CHECKING PLA SCHEMES

NICOLAIDIS, M., BOUDJIT, M., TORKI, K.

National Aeronautics and Space Adminstration
2 Technical Paper SELF-CHECKING LOGIC ARRAYS.

NICOLAIDIS, M. et al.

National Aeronautics and Space Administration
8 Technical Paper International Space Station Node 1 Environmental Control and Life Support System Test and Check-Out Program

Schrader, Ted

Society of Automotive Engineers
3 Technical Paper On the occur-check free Prolog programs

Apt, K.R., Pellegrini, A.

National Aeronautics and Space Adminstration
9 Technical Paper Rigorous Analysis of Low Temperature Stochatic Ising Models: Metaatability and Exponential Approach to Equilibrium

Martinelli, Fabio., Olivieri, Enzo., Scoppola, Eliaabetta.

National Aeronautics and Space Adminstration
4 Technical Paper An analysis of loop checking mechanisms for logic programs

Bol, R.N., Apt, K.R., Klop, J.W.

National Aeronautics and Space Adminstration
10 Technical Paper A Novel Approach for Diagnostics, End of Line and System Performance Checks for Micro Hybrid Battery Management Systems

Gopal Athani, Prasad Yerraguntla, Anand Gajaraj, Kapil Dongare

Society of Automotive Engineers
5 Technical Paper SEMANTICS FOR LOGIC PROGRAMS WITHOUT OCCUR CHECKS.

WEIJLAND, W. P.

National Aeronautics and Space Administration
11 Technical Paper A Model Validation Approach for Various Design Configurations with Insufficient Experimental Data for Model Accuracy Check.

Xi, Z., Fu, Y.

Society of Automotive Engineers
6 Technical Paper Users Manual for AUTOMESH-2D :A Program of Automatic Mesh Generation for Two-Dimensional Scattering Analysis by the Finite Element Method

Hua, Chongyu

National Aeronautics and Space Adminstration
12 Technical Paper A mixed design approach for probabilistic structural durability

Choi, Kyung K., Yu, Xiaoming, Chang, Kuang-Hua

American Institute of Aeronautics and Astronautics
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12