![](/img/cover-not-exists.png)
[IEEE 2017 IEEE Aerospace Conference - Big Sky, MT, USA (2017.3.4-2017.3.11)] 2017 IEEE Aerospace Conference - Validation of control algorithm using formal methods: Validation of mode transition logic of AFCS in SARAS aircraft
Sheregar, Sushan D., Nanda, Manju, Kushal, K S, Jayanthi, J.Year:
2017
Language:
english
DOI:
10.1109/AERO.2017.7943934
File:
PDF, 2.31 MB
english, 2017