Validating CRRM for Aeronautical Communications Using a Formal Description Technique

Autor:	Babayato S. Ayo, Prashant Pillai, Jian-Ping Li, Fun Hu
Rok vydání:	2017
Předmět:	Computer science business.industry Software engineering business Formal description
Zdroj:	35th AIAA International Communications Satellite Systems Conference.
DOI:	10.2514/6.2017-5435
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::03cfa0159c6bac655b23ccf6ac7c51ee https://doi.org/10.2514/6.2017-5435 Zobrazit plný text záznamu