Search For:

Displaying 1-1 out of 1 total
Formal Verification of a Gravity-Induced Loss-of-Consciousness Monitoring System for Aircraft
Found in: Computing in Science & Engineering
By Seonmo Kim,Wonhong Nam,Hyunyoung Kil,Myunghwan Park
Issue Date:September 2014
pp. 96-103
Military-related industries have developed many high-gravity aircraft, such as high-performance fighters and aerobatic aircrafts, which can maneuver beyond the acceleration tolerance limit of human beings. Gravity-induced loss of consciousness (GLOC) due t...
 
 1