Formal synthesis of embedded control software: Application to vehicle management systems. Wongpiromsarn, T., Topcu, U., & Murray, R. In Infotech@Aerospace 2011. tex.eprint: https://arc.aiaa.org/doi/pdf/10.2514/6.2011-1506
Formal synthesis of embedded control software: Application to vehicle management systems [link]Paper  doi  bibtex   
@incollection{wongpiromsarn_formal_nodate,
	title = {Formal synthesis of embedded control software: {Application} to vehicle management systems},
	url = {https://arc.aiaa.org/doi/abs/10.2514/6.2011-1506},
	booktitle = {Infotech@{Aerospace} 2011},
	author = {Wongpiromsarn, Tichakorn and Topcu, Ufuk and Murray, Richard},
	doi = {10.2514/6.2011-1506},
	note = {tex.eprint: https://arc.aiaa.org/doi/pdf/10.2514/6.2011-1506},
}

Downloads: 0