C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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