David G. Mitchell

• Theory and Applications of Satisfiability Testing (vol. # 3542)
• A flight investigation of helicopter low-speed response requirements
• Development of time response criteria for rotorcraft at hover and low speed
• Education and the needs of industry
• Effects of cockpit lateral stick characteristics on handling qualities and pilot dynamics
• Theory and Applications of Satisfiability Testing