Flight critical software and systems development using ASSERT™. Siu, K., Moitra, A., Durling, M., Crapo, A., Li, M., Yu, H., Herencia-Zapana, H., Castillo-Effen, M., Sen, S., & McMillan, C. In 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC), pages 1–10, 2017. IEEE. tex.ids= siuFlightCriticalSoftware2017a, siuFlightCriticalSoftware2017b
doi  bibtex   
@inproceedings{siu_flight_2017,
	title = {Flight critical software and systems development using {ASSERT}™},
	doi = {10/ghv3jg},
	booktitle = {2017 {IEEE}/{AIAA} 36th {Digital} {Avionics} {Systems} {Conference} ({DASC})},
	publisher = {IEEE},
	author = {Siu, Kit and Moitra, Abha and Durling, Michael and Crapo, Andy and Li, Meng and Yu, Han and Herencia-Zapana, Heber and Castillo-Effen, Mauricio and Sen, Shiraj and McMillan, Craig},
	year = {2017},
	note = {tex.ids= siuFlightCriticalSoftware2017a, siuFlightCriticalSoftware2017b},
	pages = {1--10},
}

Downloads: 0