Page
%P
![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Formal Modeling and Safety Verification for Mode Logic Requirements of Flight Guidance Control System
The Flight Guidance Control System (FGCS), one of the important parts of automatic flight control system, has many different kinds of automatic flight modes, and the mode transition logic become more and more ...