![](/img/cover-not-exists.png)
[IEEE 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) - London, United Kingdom (2018.9.23-2018.9.27)] 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) - A STAMP based Method to Synthesize Controller of Safety-Critical Systems
Horta, Braulio Marques, de Melo Bezerra, Juliana, Hirata, Celso MassakiYear:
2018
Language:
english
DOI:
10.1109/DASC.2018.8569356
File:
PDF, 448 KB
english, 2018