Zhang, P., Aurandt, A., Dureja, R., Jones, P. H., Rozier, K. Y., & Aerospace Engineering. (2023, Januar 1). Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. Gehalten auf der. Springer, Cham.

ZHANG, Pei, AURANDT, Alexis, DUREJA, Rohit, JONES, Phillip H., ROZIER, Kristin Yvonne und AEROSPACE ENGINEERING, 2023. Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. In: . Springer, Cham. 1 Januar 2023.

Zhang, P., A. Aurandt, R. Dureja, P. H. Jones, K. Y. Rozier, und Aerospace Engineering. Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines. Springer, Cham, 2023.

Zhang, P., Aurandt, A., Dureja, R., Jones, P.H., Rozier, K.Y. und Aerospace Engineering. (2023), „Model Predictive Runtime Verification for Cyber-Physical Systems with Real-Time Deadlines“, in , Bd. , Springer, Cham.