Towards Sophisticated Air Traffic Control System Using Formal Methods. Jarrar, A. & Balouki, Y. 2018.
Towards Sophisticated Air Traffic Control System Using Formal Methods [link]Paper  doi  bibtex   
@article{jarrar_towards_2018,
	title = {Towards {Sophisticated} {Air} {Traffic} {Control} {System} {Using} {Formal} {Methods}},
	url = {https://doi.org/10.1155/2018/1692432},
	doi = {10/gh25xd},
	language = {English},
	author = {Jarrar, Abdessamad and Balouki, Youssef},
	year = {2018},
	keywords = {QA75.5-76.95},
}

Downloads: 0