%0 Conference Paper %1 conf/emsoft/JeanninGKGSZP15 %A Jeannin, Jean-Baptiste %A Ghorbal, Khalil %A Kouskoulas, Yanni %A Gardner, Ryan W. %A Schmidt, Aurora C. %A Zawadzki, Erik %A Platzer, André %B EMSOFT %D 2015 %E Girault, Alain %E Guan, Nan %I IEEE %K dblp %P 127-136 %T Formal verification of ACAS X, an industrial airborne collision avoidance system. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2015.html#JeanninGKGSZP15 %@ 978-1-4673-8079-9

@inproceedings{conf/emsoft/JeanninGKGSZP15, added-at = {2022-02-25T00:00:00.000+0100}, author = {Jeannin, Jean-Baptiste and Ghorbal, Khalil and Kouskoulas, Yanni and Gardner, Ryan W. and Schmidt, Aurora C. and Zawadzki, Erik and Platzer, André}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2d3fbd21fbc41e67523812e6addb05963/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2015}, editor = {Girault, Alain and Guan, Nan}, ee = {http://dl.acm.org/citation.cfm?id=2830880}, interhash = {3789178d0b8fceb1b85ca3c27ef4691a}, intrahash = {d3fbd21fbc41e67523812e6addb05963}, isbn = {978-1-4673-8079-9}, keywords = {dblp}, pages = {127-136}, publisher = {IEEE}, timestamp = {2022-03-01T07:21:31.000+0100}, title = {Formal verification of ACAS X, an industrial airborne collision avoidance system.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2015.html#JeanninGKGSZP15}, year = 2015 }