Verifying the Safety of a Flight-Critical System
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Guillaume Brat, David H. Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai
Verifying the Safety of a Flight-Critical System
FM, 2015.

FM 2015
Full names Links ISxN
	author        = "Guillaume Brat and David H. Bushnell and Misty Davies and Dimitra Giannakopoulou and Falk Howar and Temesghen Kahsai",
	booktitle     = "{Proceedings of the 20th International Symposium of Formal Methods}",
	doi           = "10.1007/978-3-319-19249-9_20",
	isbn          = "978-3-319-19248-2",
	pages         = "308--324",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Verifying the Safety of a Flight-Critical System}",
	volume        = 9109,
	year          = 2015,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.