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_2015
bibtex   
@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