Kurt Wilson

Wilson, K., Arafat, A. A., Baugh, J., Yu, R., & Guo, Z. (2024). Physics-Aware Mixed-Criticality Systems Design via End-to-End Verification of CPS. 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE), 96–100. https://doi.org/10.1109/MEMOCODE63347.2024.00016