Detecting Unsafe Error Recovery Schedules. (English)
IEEE Transactions on Software Engineering 18, No.08, 749-760 (1992).
1
Applications of optimization techniques to spacecraft fuel usage minimization in deep space navigation. (English)
Math. Eng. Ind. 1, No.2, 97-122 (1987).
2