|
|
|
|
LEADER |
01686nam a2200289 a 4500 |
001 |
783030 |
005 |
20171111231153.0 |
008 |
041210s1982 gr r f000 0 eng d |
040 |
|
|
|a GR-KoDPT
|b gre
|e AACR2
|
050 |
|
|
|a TL521.312
|b .V348 1981
|
082 |
|
0 |
|2 19
|a 629.45/2/0285425
|
111 |
2 |
|
|a Validation Methods Research for Fault-Tolerant Avionics and Control Systems Sub-Working-Group Meeting
|c Research Triangle Institute)
|d 1981 :
|
245 |
1 |
0 |
|a Production of reliable flight-crucial software :
|b Validation methods research for fault-tolerant avionics and control systems sub-working-group meeting /
|c edited by J.R. Dunham, J.C. Knight
|
260 |
|
|
|a Washington, D.C.:
|b National Aeronautics and Space Administration, Scientific and Technical Information Branch,
|c 1982
|
300 |
|
|
|a v, 22 σ. ;
|c 28 εκ.
|
490 |
0 |
|
|a NASA conference publication
|v 2222
|
500 |
|
|
|a "Proceedings of a sub-working-group meeting held at Research Triangle Institute, Research Triangle Park, North Carolina, November 2-4, 1981."--σ.τ.
|
504 |
|
|
|a Περιέχει βιβλιογραφικές παραπομπές
|
650 |
|
0 |
|a Flight control
|x Data processing
|x Congresses
|
650 |
|
0 |
|a Computer programs
|x Reliability
|x Congresses
|
650 |
|
0 |
|a Computer programs
|x Validation
|
700 |
1 |
|
|a Dunham, J. R.
|x Congresses
|
700 |
1 |
|
|a Knight, J. C.
|
710 |
|
|
|a United States
|b National Aeronautics and Space Administration
|b Scientific and Technical Information Branch
|
710 |
0 |
|
|a United States.
|b National Aeronautics and Space Administration.
|b Scientific and Technical Information Branch
|
710 |
2 |
|
|a Research Triangle Institute
|
952 |
|
|
|a GR-KoDPT
|b 59cc2cea6c5ad13446fa6f61
|c 998a
|d 945l
|e TL 521 .3
|t 1
|x m
|z Books
|