Login / Signup
Ulgen: A Runtime Assurance Framework for Programming Safe Cyber-Physical Systems.
Beyazit Yalcinkaya
Hazem Torfah
Ankush Desai
Sanjit A. Seshia
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2023)
Keyphrases
</>
real time
software development