Verifying the safety of a flight-critical system. Brat, G., Bushnell, D., Davies, M., Giannakopoulou, D., Howar, F., & Kahsai, T. In International Symposium on Formal Methods, pages 308–324, 2015. Springer. tex.ids= bratVerifyingSafetyFlightcritical2015a, bratVerifyingSafetyFlightcritical2015b, bratVerifyingSafetyFlightcritical2015c, bratVerifyingSafetyFlightcritical2015d, bratVerifyingSafetyFlightcritical2015e, bratVerifyingSafetyFlightcritical2015f, bratVerifyingSafetyFlightcritical2015g, bratVerifyingSafetyFlightcritical2015h, bratVerifyingSafetyFlightcritical2015i, bratVerifyingSafetyFlightcritical2015j, brat_verifying_2015bibtex @inproceedings{brat_verifying_2015,
title = {Verifying the safety of a flight-critical system},
booktitle = {International {Symposium} on {Formal} {Methods}},
publisher = {Springer},
author = {Brat, Guillaume and Bushnell, David and Davies, Misty and Giannakopoulou, Dimitra and Howar, Falk and Kahsai, Temesghen},
year = {2015},
note = {tex.ids= bratVerifyingSafetyFlightcritical2015a, bratVerifyingSafetyFlightcritical2015b, bratVerifyingSafetyFlightcritical2015c, bratVerifyingSafetyFlightcritical2015d, bratVerifyingSafetyFlightcritical2015e, bratVerifyingSafetyFlightcritical2015f, bratVerifyingSafetyFlightcritical2015g, bratVerifyingSafetyFlightcritical2015h, bratVerifyingSafetyFlightcritical2015i, bratVerifyingSafetyFlightcritical2015j, brat\_verifying\_2015},
keywords = {Climb Rate, Computer Science - Software Engineering, Flight Path Angle, Mode Logic, Requirement Elicitation, Safety Property, ⛔ No DOI found},
pages = {308--324},
}
Downloads: 0
{"_id":"dy8Kz3jkmPk6sap7h","bibbaseid":"brat-bushnell-davies-giannakopoulou-howar-kahsai-verifyingthesafetyofaflightcriticalsystem-2015","author_short":["Brat, G.","Bushnell, D.","Davies, M.","Giannakopoulou, D.","Howar, F.","Kahsai, T."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Verifying the safety of a flight-critical system","booktitle":"International Symposium on Formal Methods","publisher":"Springer","author":[{"propositions":[],"lastnames":["Brat"],"firstnames":["Guillaume"],"suffixes":[]},{"propositions":[],"lastnames":["Bushnell"],"firstnames":["David"],"suffixes":[]},{"propositions":[],"lastnames":["Davies"],"firstnames":["Misty"],"suffixes":[]},{"propositions":[],"lastnames":["Giannakopoulou"],"firstnames":["Dimitra"],"suffixes":[]},{"propositions":[],"lastnames":["Howar"],"firstnames":["Falk"],"suffixes":[]},{"propositions":[],"lastnames":["Kahsai"],"firstnames":["Temesghen"],"suffixes":[]}],"year":"2015","note":"tex.ids= bratVerifyingSafetyFlightcritical2015a, bratVerifyingSafetyFlightcritical2015b, bratVerifyingSafetyFlightcritical2015c, bratVerifyingSafetyFlightcritical2015d, bratVerifyingSafetyFlightcritical2015e, bratVerifyingSafetyFlightcritical2015f, bratVerifyingSafetyFlightcritical2015g, bratVerifyingSafetyFlightcritical2015h, bratVerifyingSafetyFlightcritical2015i, bratVerifyingSafetyFlightcritical2015j, brat_verifying_2015","keywords":"Climb Rate, Computer Science - Software Engineering, Flight Path Angle, Mode Logic, Requirement Elicitation, Safety Property, ⛔ No DOI found","pages":"308–324","bibtex":"@inproceedings{brat_verifying_2015,\n\ttitle = {Verifying the safety of a flight-critical system},\n\tbooktitle = {International {Symposium} on {Formal} {Methods}},\n\tpublisher = {Springer},\n\tauthor = {Brat, Guillaume and Bushnell, David and Davies, Misty and Giannakopoulou, Dimitra and Howar, Falk and Kahsai, Temesghen},\n\tyear = {2015},\n\tnote = {tex.ids= bratVerifyingSafetyFlightcritical2015a, bratVerifyingSafetyFlightcritical2015b, bratVerifyingSafetyFlightcritical2015c, bratVerifyingSafetyFlightcritical2015d, bratVerifyingSafetyFlightcritical2015e, bratVerifyingSafetyFlightcritical2015f, bratVerifyingSafetyFlightcritical2015g, bratVerifyingSafetyFlightcritical2015h, bratVerifyingSafetyFlightcritical2015i, bratVerifyingSafetyFlightcritical2015j, brat\\_verifying\\_2015},\n\tkeywords = {Climb Rate, Computer Science - Software Engineering, Flight Path Angle, Mode Logic, Requirement Elicitation, Safety Property, ⛔ No DOI found},\n\tpages = {308--324},\n}\n\n","author_short":["Brat, G.","Bushnell, D.","Davies, M.","Giannakopoulou, D.","Howar, F.","Kahsai, T."],"key":"brat_verifying_2015","id":"brat_verifying_2015","bibbaseid":"brat-bushnell-davies-giannakopoulou-howar-kahsai-verifyingthesafetyofaflightcriticalsystem-2015","role":"author","urls":{},"keyword":["Climb Rate","Computer Science - Software Engineering","Flight Path Angle","Mode Logic","Requirement Elicitation","Safety Property","⛔ No DOI found"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/SilverSylvester","dataSources":["YCBcQPneB9oxahSnp"],"keywords":["climb rate","computer science - software engineering","flight path angle","mode logic","requirement elicitation","safety property","⛔ no doi found"],"search_terms":["verifying","safety","flight","critical","system","brat","bushnell","davies","giannakopoulou","howar","kahsai"],"title":"Verifying the safety of a flight-critical system","year":2015}