Formal verification of ACAS X, an industrial airborne collision avoidance system.
| Autor: | Jeannin, Jean-Baptiste, Ghorbal, Khalil, Kouskoulas, Yanni, Gardner, Ryan, Schmidt, Aurora, Zawadzki, Erik, Platzer, Andre |
|---|---|
| Zdroj: | 2015 International Conference on Embedded Software (EMSOFT); 2015, p127-136, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|