{"_id":"Ja3XKoXHeFqLSvcb4","bibbaseid":"brunel-cazin-formalverificationofasafetyargumentationandapplicationtoacomplexuavsystem-2012","author_short":["Brunel, J.","Cazin, J."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Formal verification of a safety argumentation and application to a complex UAV system","doi":"10/ghv4qg","booktitle":"International Conference on Computer Safety, Reliability, and Security","publisher":"Springer","author":[{"propositions":[],"lastnames":["Brunel"],"firstnames":["Julien"],"suffixes":[]},{"propositions":[],"lastnames":["Cazin"],"firstnames":["Jacques"],"suffixes":[]}],"year":"2012","note":"tex.ids= brunelFormalVerificationSafety2012a","pages":"307–318","bibtex":"@inproceedings{brunel_formal_2012,\n\ttitle = {Formal verification of a safety argumentation and application to a complex {UAV} system},\n\tdoi = {10/ghv4qg},\n\tbooktitle = {International {Conference} on {Computer} {Safety}, {Reliability}, and {Security}},\n\tpublisher = {Springer},\n\tauthor = {Brunel, Julien and Cazin, Jacques},\n\tyear = {2012},\n\tnote = {tex.ids= brunelFormalVerificationSafety2012a},\n\tpages = {307--318},\n}\n\n","author_short":["Brunel, J.","Cazin, J."],"key":"brunel_formal_2012","id":"brunel_formal_2012","bibbaseid":"brunel-cazin-formalverificationofasafetyargumentationandapplicationtoacomplexuavsystem-2012","role":"author","urls":{},"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":[],"search_terms":["formal","verification","safety","argumentation","application","complex","uav","system","brunel","cazin"],"title":"Formal verification of a safety argumentation and application to a complex UAV system","year":2012}