Hyunjong Choi. On the Design and Analysis of Autonomous Real-Time Systems. PhD thesis, University of California, Riverside, USA, 2021. [doi]
@phdthesis{us-2600, title = {On the Design and Analysis of Autonomous Real-Time Systems}, author = {Hyunjong Choi}, year = {2021}, url = {https://www.escholarship.org/uc/item/28z244tp}, researchr = {https://researchr.org/publication/us-2600}, cites = {0}, citedby = {0}, school = {University of California, Riverside, USA}, }