@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},
}

{"_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}