Kerianne Hobbs. Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems. PhD thesis, Georgia Institute of Technology, Atlanta, GA, USA, 2020. [doi]
@phdthesis{basesearch-10772, title = {Elicitation and Formal Specification of Run Time Assurance Requirements for Aerospace Collision Avoidance Systems}, author = {Kerianne Hobbs}, year = {2020}, url = {https://www.base-search.net/Record/0edd664c71905b66c915e950432385f4d4934bb0d32ac1f344e48dd267223942}, note = {base-search.net (ftgeorgiatech:oai:smartech.gatech.edu:1853/62788)}, researchr = {https://researchr.org/publication/basesearch-10772}, cites = {0}, citedby = {0}, school = {Georgia Institute of Technology, Atlanta, GA, USA}, }