ICAS-92-1.7.3 Development of Laser Conducting Landing System
A Direct Method of Computing the Critical Gain of Discrete Systems
Motion and structure estimation using long sequence motion models
Sufficient Conditions for Double or Unique Solution of Motion and Structure
Algebraic Specification of Discrete Event System Models and Their Refinements