{"_id":"jsW8s5utJhRh9vhJz","bibbaseid":"jeannin-ghorbal-kouskoulas-gardner-schmidt-zawadzki-platzer-formalverificationofacasxanindustrialairbornecollisionavoidancesystem-2015","author_short":["Jeannin, J.","Ghorbal, K.","Kouskoulas, Y.","Gardner, R.","Schmidt, A.","Zawadzki, E.","Platzer, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of ACAS X, an industrial airborne collision avoidance system","doi":"10/ghvz2h","booktitle":"2015 International Conference on Embedded Software (EMSOFT)","publisher":"IEEE","author":[{"propositions":[],"lastnames":["Jeannin"],"firstnames":["Jean-Baptiste"],"suffixes":[]},{"propositions":[],"lastnames":["Ghorbal"],"firstnames":["Khalil"],"suffixes":[]},{"propositions":[],"lastnames":["Kouskoulas"],"firstnames":["Yanni"],"suffixes":[]},{"propositions":[],"lastnames":["Gardner"],"firstnames":["Ryan"],"suffixes":[]},{"propositions":[],"lastnames":["Schmidt"],"firstnames":["Aurora"],"suffixes":[]},{"propositions":[],"lastnames":["Zawadzki"],"firstnames":["Erik"],"suffixes":[]},{"propositions":[],"lastnames":["Platzer"],"firstnames":["André"],"suffixes":[]}],"year":"2015","note":"tex.ids= jeanninFormalVerificationACAS2015a, jeanninFormalVerificationACAS2015b, jeanninFormalVerificationACAS2015c, jeanninFormalVerificationACAS2015d, jeanninFormalVerificationACAS2015e, jeanninFormalVerificationACAS2015f, jeanninFormalVerificationACAS2015g, jeanninFormalVerificationACAS2015h, jeanninFormalVerificationACAS2015i, jeanninFormalVerificationACAS2015j, jeanninFormalVerificationACAS2015k, jeanninFormalVerificationACAS2015l, jeanninFormalVerificationACAS2015m, jeannin_formal_2015","keywords":"[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]","pages":"127–136","bibtex":"@inproceedings{jeannin_formal_2015,\n\ttitle = {Formal verification of {ACAS} {X}, an industrial airborne collision avoidance system},\n\tdoi = {10/ghvz2h},\n\tbooktitle = {2015 {International} {Conference} on {Embedded} {Software} ({EMSOFT})},\n\tpublisher = {IEEE},\n\tauthor = {Jeannin, Jean-Baptiste and Ghorbal, Khalil and Kouskoulas, Yanni and Gardner, Ryan and Schmidt, Aurora and Zawadzki, Erik and Platzer, André},\n\tyear = {2015},\n\tnote = {tex.ids= jeanninFormalVerificationACAS2015a, jeanninFormalVerificationACAS2015b, jeanninFormalVerificationACAS2015c, jeanninFormalVerificationACAS2015d, jeanninFormalVerificationACAS2015e, jeanninFormalVerificationACAS2015f, jeanninFormalVerificationACAS2015g, jeanninFormalVerificationACAS2015h, jeanninFormalVerificationACAS2015i, jeanninFormalVerificationACAS2015j, jeanninFormalVerificationACAS2015k, jeanninFormalVerificationACAS2015l, jeanninFormalVerificationACAS2015m, jeannin\\_formal\\_2015},\n\tkeywords = {[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]},\n\tpages = {127--136},\n}\n\n","author_short":["Jeannin, J.","Ghorbal, K.","Kouskoulas, Y.","Gardner, R.","Schmidt, A.","Zawadzki, E.","Platzer, A."],"key":"jeannin_formal_2015","id":"jeannin_formal_2015","bibbaseid":"jeannin-ghorbal-kouskoulas-gardner-schmidt-zawadzki-platzer-formalverificationofacasxanindustrialairbornecollisionavoidancesystem-2015","role":"author","urls":{},"keyword":["[INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["[info.info-fl]computer science [cs]/formal languages and automata theory [cs.fl]"],"search_terms":["formal","verification","acas","industrial","airborne","collision","avoidance","system","jeannin","ghorbal","kouskoulas","gardner","schmidt","zawadzki","platzer"],"title":"Formal verification of ACAS X, an industrial airborne collision avoidance system","year":2015}