-
1
-
-
85029995298
-
JAR 25.1309 Joint airworthiness requirements
-
+ Advisory Material AMJ 25.1309, JAA
-
JAR 25.1309 Joint airworthiness requirements (+ Advisory Material AMJ 25.1309, System Design and Analysis, Advisory Material Joint), JAA.
-
System Design and Analysis, Advisory Material Joint
-
-
-
2
-
-
85029986919
-
FAR 25.1309 federal aviation regulations
-
+ Advisory Circular AC25.1309-1A, FAA
-
FAR 25.1309 Federal aviation regulations (+ Advisory Circular AC25.1309-1A, System Design and Analysis, Advisory Circular), FAA.
-
System Design and Analysis, Advisory Circular
-
-
-
3
-
-
0028288772
-
Architectural principles for safety-critical real-time applications
-
IEEE
-
Lala, J. H. and Harper, R. E. (1994) Architectural principles for safety-critical real-time applications. In Proceedings of the IEEE Vol. 82, No. 1, January 1994 (IEEE), pp. 25-40.
-
(1994)
Proceedings of the IEEE Vol. 82, No. 1, January 1994
, pp. 25-40
-
-
Lala, J.H.1
Harper, R.E.2
-
7
-
-
0028203155
-
The critical task of writing dependable software
-
IEEE
-
Knight, J. C. and Littlewood, B. (1994) The critical task of writing dependable software. In IEEE Software, January 1994 (IEEE), pp. 16-20.
-
(1994)
IEEE Software, January 1994
, pp. 16-20
-
-
Knight, J.C.1
Littlewood, B.2
-
9
-
-
0022581573
-
An experimental evaluation of the assumption of failure independence in multi-version programming
-
January 1986
-
Knight, J. C. and Leveson, N. G. (1986) An experimental evaluation of the assumption of failure independence in multi-version programming. In IEEE Transactions on Software Engineering, Vol. SE-12, No.1, January 1986, pp. 96-109.
-
(1986)
IEEE Transactions on Software Engineering
, vol.SE-12
, Issue.1
, pp. 96-109
-
-
Knight, J.C.1
Leveson, N.G.2
-
10
-
-
30244524379
-
-
Chapter 2, H. W. Orlady (ed.). Ashgate Publishing Ltd.
-
Hawkins, F. H. (1993) Human Factors in Flight, 2nd Edition, Chapter 2, pp. 27-55, H. W. Orlady (ed.). Ashgate Publishing Ltd.
-
(1993)
Human Factors in Flight, 2nd Edition
, pp. 27-55
-
-
Hawkins, F.H.1
-
11
-
-
0002265680
-
Cockpit automation
-
E. L. Wiener and D. C. Nagel (eds). Academic Press
-
Wiener, E. L. (1988) Cockpit automation. In Human Factors in Aviation, pp. 433-461, E. L. Wiener and D. C. Nagel (eds). Academic Press.
-
(1988)
Human Factors in Aviation
, pp. 433-461
-
-
Wiener, E.L.1
-
14
-
-
0027632156
-
Diagnostic reasoning in action
-
July/August 1993 (IEEE)
-
Rasmussen, J. (1993) Diagnostic reasoning in action. In IEEE Transactions on Systems, Man and Cybernetics, Vol. 23, No. 4, July/August 1993 (IEEE), pp. 981-992.
-
(1993)
IEEE Transactions on Systems, Man and Cybernetics
, vol.23
, Issue.4
, pp. 981-992
-
-
Rasmussen, J.1
|